✦ LIBER ✦

Combined model checking for temporal, probabilistic, and real-time logics

✍ Scribed by Konur, Savas; Fisher, Michael; Schewe, Sven

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Polytime model checking for timed probab

✍ Danièle Beauquier; Anatol Slissenko 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 204 KB

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Comparing model checking and logical rea

✍ Henning Dierks 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 242 KB

Temporal logics for concurrent recursive

✍ Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Fully Symbolic Unbounded Model Checking

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

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB