✦ LIBER ✦

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

✍ Scribed by B. Ploeger; J.W. Wesselink; T.A.C. Willemse

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On systems of Boolean equations

✍ V. K. Leont’ev, G. P. Tonoyan 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 187 KB

Verification of external specifications

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

Towards the hierarchical verification of

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

A class of systems of boolean equations

✍ V.K. Leont'ev; A.N. Nurlybaev 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 825 KB

A class of systems of boolean equations

✍ E.V. Egiazaryan 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 383 KB

The Automata-Theoretic Approach to Verif

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