✦ LIBER ✦

Limits for automatic verification of finite-state concurrent systems

✍ Scribed by Krzysztof R. Apt; Dexter C. Kozen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic and hierarchical verification

✍ Xudong Zhao; Yulin Feng 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 433 KB

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

Automatic verification for a class of di

✍ G. Manduchi; M. Moro 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 219 KB

Automatic verification of safety interlo

✍ S.H. Yang; L.S. Tan; C.H. He 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 82 KB

Confidence limits for steady state avail

✍ P. Chandrasekhar; R. Natarajan; H. Sheryl Sujatha 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Complexity of Equivalence Problems for C

✍ Alexander Rabinovich 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 355 KB