✦ LIBER ✦

Automatic and hierarchical verification for concurrent systems

✍ Scribed by Xudong Zhao; Yulin Feng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Limits for automatic verification of fin

✍ Krzysztof R. Apt; Dexter C. Kozen 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 241 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

Automatic verification of properties in

✍ A. Arnold; S. Brlek 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

Verification of Hierarchical State/Event

✍ G. Behrmann; K.G. Larsen; H.R. Andersen; H. Hulgaard; J. Lind-Nielsen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 158 KB