✦ LIBER ✦

Model checking: a hardware design perspective

✍ Scribed by Carl Pixley; Vigyan Singhal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking: A Complexity-Theoretic P

✍ Moshe Vardi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 30 KB

The humble Bayesian: Model checking from

✍ Morey, Richard D.; Romeijn, Jan-Willem; Rouder, Jeffrey N. 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

[Lecture Notes in Computer Science] Corr

✍ Pierre, Laurence; Kropf, Thomas 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 93 KB

Debugging Hardware Designs Using a Value

✍ Franz Wotawa 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 502 KB

Model-checking Driven Design of Interact

✍ Antonio Cerone; Norzima Elbegbayan 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Exploiting Design Structure in Model Che

✍ Thomas A. Henzinger 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 31 KB