✦ LIBER ✦

Model checking for action-based logics

✍ Scribed by Alessandro Fantechi; Stefania Gnesi; Gioia Ristori

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking for Hybrid Logic

✍ Martin Lange 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 758 KB

Model checking action system refinements

✍ Graeme Smith; Kirsten Winter 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 691 KB

Polytime model checking for timed probab

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

Model checking hybrid logics (with an ap

✍ Massimo Franceschet; Maarten de Rijke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 259 KB

A Sat-Based Approach to Unbounded Model

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

Constraint-based deductive model checkin

✍ Giorgio Delzanno; Andreas Podelski 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 392 KB