✦ LIBER ✦

Decidability of model checking for infinite-state concurrent systems

✍ Scribed by Javier Esparza

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of LTL model checking fo

✍ Laura Bozzelli; Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 578 KB

Local model checking for infinite state

✍ Julian Bradfield; Colin Stirling 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 971 KB

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Automated systems for checking the state

✍ D. B. Radkevich; V. Z. Kheifits 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 502 KB

Hardness of equivalence checking for com

✍ Zdeněk Sawa; Petr Jančar 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 761 KB

Improving state class constructions for

✍ Rachid Hadjidj; Hanifa Boucheneb 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 725 KB