✦ LIBER ✦

Distribution of Explicit-State LTL Model-Checking

✍ Scribed by Luboš Brim; Jiří Barnat

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Explicit Bounded LTL Model C

✍ Pavel Krčál 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 198 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

Directed explicit-state model checking i

✍ Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 976 KB

Comparing Under and Over-Approximations

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Fighting livelock in the GNU i-protocol:

✍ Yifei Dong; Xiaoqun Du; Gerard J. Holzmann; Scott A. Smolka 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 501 KB

Local Distributed Model Checking of Reg

✍ Tomáš Brázdil; Ivana Černá 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 206 KB