✦ LIBER ✦

Model-checking games for fixpoint logics with partial order models

✍ Scribed by Julian Gutierrez; Julian Bradfield

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Partial Order Approach to Branching Ti

✍ Rob Gerth; Ruurd Kuiper; Doron Peled; Wojciech Penczek 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Logic modeling with partially ordered pr

✍ George R. Widmeyer 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 941 KB

Partial-order Reduction Techniques for R

✍ Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 120 KB

Formal Verification of a Partial-Order R

✍ Ching-Tsun Chou; Doron Peled 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Model checking for a probabilistic branc

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

Model Checking for Combined Logics with

✍ Massimo Franceschet; Angelo Montanari; Maarten de Rijke 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 229 KB