✦ LIBER ✦

NUSMV: a new symbolic model checker

✍ Scribed by Alessandro Cimatti; Edmund Clarke; Fausto Giunchiglia; Marco Roveri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model advisor for NuSMV specifications

✍ Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 224 KB

Can American Checkers be Solved by Means

✍ Michael Baldamus; Klaus Schneider; Michael Wenz; Roberto Ziller 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 213 KB

The software model checker Blast

✍ Dirk Beyer; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 682 KB

[Lecture Notes in Computer Science] Comp

✍ Brinksma, Ed; Larsen, Kim Guldstrand 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 119 KB

Verifying data refinements using a model

✍ Graeme Smith; John Derrick 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB

A new type-checker for a functional lang

✍ Jon Fairbairn 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 936 KB