✦ LIBER ✦

The Maude LTL Model Checker

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

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

Comments on "The Model Checker SPIN"

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

Quantitative Analysis With the Probabili

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

The ins and outs of the probabilistic mo

✍ Joost-Pieter Katoen; Ivan S. Zapreev; Ernst Moritz Hahn; Holger Hermanns; David 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 669 KB

UppDMC: A Distributed Model Checker for

✍ Fredrik Holmén; Martin Leucker; Marcus Lindström 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 346 KB