✦ LIBER ✦

Model Checking of Safety Properties

✍ Scribed by Orna Kupferman; Moshe Y. Vardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

✍ Madhavan Mukund 📂 Article 📅 2009 🏛 Indian Academy of Sciences 🌐 English ⚖ 373 KB

Handling Liveness Properties in (ω-)Regu

✍ Ahmed Bouajjani; Axel Legay; Pierre Wolper 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 279 KB

Model Checking Functional and Performabi

✍ Marco Gribaudo; András Horváth 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Evaluating the safety of self-checking c

✍ Shujian Zhang; Jon C. Muzio 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 875 KB

Model-checking the preservation of tempo

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