✦ LIBER ✦

Model checking discounted temporal properties

✍ Scribed by Luca de Alfaro; Marco Faella; Thomas A. Henzinger; Rupak Majumdar; Mariëlle Stoelinga

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking Timed Temporal Logics

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

Model-checking the preservation of tempo

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

Vacuity detection in temporal model chec

✍ Orna Kupferman; Moshe Y. Vardi 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 205 KB

Checking Temporal Duration Properties of

✍ Yong Li; Hung Van Dang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 748 KB

Model Checking of Safety Properties

✍ Orna Kupferman; Moshe Y. Vardi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 177 KB

∞-Regular temporal logic and its model c

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