✦ LIBER ✦

Another Look at LTL Model Checking

✍ Scribed by Edmund M. Clarke; Orna Grumberg; Kiyoharu Hamaguchi

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

Scalable shared memory LTL model checkin

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

Distributed Explicit Bounded LTL Model C

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

Distribution of Explicit-State LTL Model

✍ Luboš Brim; Jiří Barnat 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 106 KB

Parallel Model Checking for LTL, CTL∗, a

✍ Martin Leucker; Rafal Somla; Michael Weber 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 190 KB