✦ LIBER ✦

The software model checker Blast

✍ Scribed by Dirk Beyer; Thomas A. Henzinger; Ranjit Jhala; Rupak Majumdar

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 Maude LTL Model Checker

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

Comments on "The Model Checker SPIN"

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

Software for the blast-furnace operator

✍ Yu. V. Serov; T. I. Kukhtin; S. V. Krastyn 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 91 KB

Using dinas in the top zone of checkers

✍ K. I. Kotov; A. M. Saksaganskii; A. P. Ogurtsov; N. Ya. Goncharova; N. Yu. Taits 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 727 KB

Quantitative Analysis With the Probabili

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