✦ LIBER ✦

Verification of external specifications of reactive systems

✍ Scribed by Bellini, P.; Bruno, M.A.; Nesi, P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards the hierarchical verification of

✍ Mila Majster-Cederbaum; Frank Salger 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Verification of Modular Diagnosability W

✍ Schmidt, Klaus Werner 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 591 KB

Automatic verification of distributed lo

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB

Verification of reactive systems via ins

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

The Automata-Theoretic Approach to Verif

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

A note on the verification of automata s

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB