✦ LIBER ✦

LTL generalized model checking revisited

✍ Scribed by Patrice Godefroid; Nir Piterman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Flash memory efficient LTL model checkin

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

Distributed Explicit Bounded LTL Model C

✍ Pavel Krčál 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 198 KB

Scalable shared memory LTL model checkin

✍ J. Barnat; L. Brim; P. Ročkai 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 622 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

Service matchmaking revisited: An approa

✍ Akın Günay; Pınar Yolum 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 775 KB

Generalized Model-Checking over Locally

✍ Markus Frick 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 520 KB