✦ LIBER ✦

LTL model checking for security protocols

✍ Scribed by Armando, Alessandro; Carbone, Roberto; Compagna, Luca

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

Another Look at LTL Model Checking

✍ Edmund M. Clarke; Orna Grumberg; Kiyoharu Hamaguchi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 421 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