✦ LIBER ✦

State-rich model checking

✍ Scribed by Leo Freitas; Jim Woodcock; Ana Cavalcanti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software model checking is a rich resear

✍ Antti Valmari 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 311 KB

Local model checking for infinite state

✍ Julian Bradfield; Colin Stirling 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 971 KB

Model Checking UML State Machines and Co

✍ Timm Schäfer; Alexander Knapp; Stephan Merz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Model Checking

✍ Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbrin 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 German ⚖ 403 KB

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Decidability of model checking for infin

✍ Javier Esparza 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 223 KB