✦ LIBER ✦

Automatic verification of properties in transition systems

✍ Scribed by A. Arnold; S. Brlek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic verification of a manufacturin

✍ V Bos; J.J.T Kleijn 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 301 KB

Performance evaluation of automatic spea

✍ Sarma, V.; Venugopal, D. 📂 Article 📅 1977 🏛 IEEE ⚖ 360 KB

Automatic verification for a class of di

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

Limits for automatic verification of fin

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

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB