✦ LIBER ✦

Distributed Explicit Bounded LTL Model Checking

✍ Scribed by Pavel Krčál

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

LTL generalized model checking revisited

✍ Patrice Godefroid; Nir Piterman 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 360 KB

Efficient distributed SAT and SAT-based

✍ Malay K. Ganai; Aarti Gupta; Zijiang Yang; Pranav Ashar 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 271 KB

Flash memory efficient LTL model checkin

✍ S. Edelkamp; D. Sulewski; J. Barnat; L. Brim; P. Šimeček 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Scalable shared memory LTL model checkin

✍ J. Barnat; L. Brim; P. Ročkai 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 622 KB

Bounded Model Checking of CTL

✍ Zhi-Hong Tao; Cong-Hua Zhou; Zhong Chen; Li-Fu Wang 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 337 KB

On decidability of LTL model checking fo

✍ Laura Bozzelli; Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 578 KB