✦ LIBER ✦

Compositional Model Checking of Concurrent Systems

✍ Scribed by Zheng, Hao; Zhang, Zhen; Myers, Chris J.; Rodriguez, Emmanuel; Zhang, Yingying

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of model checking for infin

✍ Javier Esparza 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 223 KB

Compositional encoding for bounded model

✍ Sun, Jun ;Liu, Yang ;Dong, Jin Song ;Sun, Jing 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 260 KB

Formula-Dependent Equivalence for Compos

✍ Adnan Aziz; Thomas Shiple; Vigyan Singhal; Robert Brayton; Alberto Sangiovanni-V 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 226 KB

Compositional probabilistic verification

✍ Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 641 KB

Model-Checking of Correctness Conditions

✍ Rajeev Alur; Ken McMillan; Doron Peled 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Concurrent Delay Testing in Totally Self

✍ Antonis Paschalis; Dimitris Gizopoulos; Nikolaos Gaitanis 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 91 KB