✦ LIBER ✦

Flash memory efficient LTL model checking

✍ Scribed by S. Edelkamp; D. Sulewski; J. Barnat; L. Brim; P. Šimeček

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Scalable shared memory LTL model checkin

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

LTL generalized model checking revisited

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

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

Model checking transactional memories

✍ Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 410 KB

Compact labelings for efficient first-or

✍ Bruno Courcelle; Cyril Gavoille; Mamadou Moustapha Kanté 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 701 KB