✦ LIBER ✦

SFT monitoring and design verification

✍ Scribed by Ian Markey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics and verification of monitors a

✍ Stein Gjessing 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 1019 KB

Runtime verification and monitoring of e

✍ Watterson, C.; Heffernan, D. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 346 KB

Design and Verification of Logical Model

✍ V. D. Malyugin 📂 Article 📅 2004 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 122 KB

Contract design and costly verification

✍ Chongwoo Choe 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Targeting Design, Verification, and Test

📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 129 KB

Design and Verification of High-Speed VL

✍ Dian Zhou; Rui-Ming Li 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 726 KB