✦ LIBER ✦

Comments on "The Model Checker SPIN"

✍ Scribed by Ki-Seok Bang; Jin-Young Choi; Chuck Yoo

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

The Maude LTL Model Checker

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

Some comments on the Sherrington-Kirkpat

✍ J. Fröhlich; B. Zegarlinski 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 764 KB

Automatic Verification of a Behavioural

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

Comments upon the Mattis model of a spin

✍ R. Bidaux; J.P. Carton; G. Sarma 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 155 KB