𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Maude LTL Model Checker

✍ Scribed by Steven Eker; José Meseguer; Ambarish Sridharanarayanan


Book ID
104445792
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
382 KB
Volume
71
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The model checker SPIN
✍ Holzmann, G.J. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 256 KB
The software model checker Blast
✍ Dirk Beyer; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 682 KB