✦ LIBER ✦

Towards the hierarchical verification of reactive systems

✍ Scribed by Mila Majster-Cederbaum; Frank Salger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of external specifications

✍ Bellini, P.; Bruno, M.A.; Nesi, P. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 543 KB

The Automata-Theoretic Approach to Verif

✍ A.N. Chebotarev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 93 KB

Toward the Formal Verification of a Unif

✍ Hui Liu; Jinglei Zhao; Ruzhan Lu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 310 KB

Toward the Formal Verification of a Unif

✍ Hui Liu; Jinglei Zhao; Ruzhan Lu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 307 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

Verification of reactive systems via ins

✍ B. Ploeger; J.W. Wesselink; T.A.C. Willemse 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 563 KB