✦ LIBER ✦

Vacuity detection in temporal model checking

✍ Scribed by Orna Kupferman; Moshe Y. Vardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Detection of Vacuity in Tempor

✍ Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 93 KB

Model checking discounted temporal prope

✍ Luca de Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar; Mariëlle Stoe 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 302 KB

Model-checking Timed Temporal Logics

✍ Patricia Bouyer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 364 KB

∞-Regular temporal logic and its model c

✍ Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 888 KB

Model-checking the preservation of tempo

✍ Dimitar P. Guelev; Mark D. Ryan; Pierre Yves Schobbens 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB

Fully Symbolic Unbounded Model Checking

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 KB