✦ LIBER ✦

The model checker SPIN

✍ Scribed by Holzmann, G.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "The Model Checker SPIN"

✍ Ki-Seok Bang; Jin-Young Choi; Chuck Yoo 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 145 KB

The software model checker Blast

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

The Maude LTL Model Checker

✍ Steven Eker; José Meseguer; Ambarish Sridharanarayanan 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 382 KB

Automatic Verification of a Behavioural

✍ Diego Latella; Istvan Majzik; Mieke Massink 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 255 KB

NUSMV: a new symbolic model checker

✍ Alessandro Cimatti; Edmund Clarke; Fausto Giunchiglia; Marco Roveri 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 355 KB

Quantitative Analysis With the Probabili

✍ Marta Kwiatkowska; Gethin Norman; David Parker 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 495 KB