✦ LIBER ✦

Automated formal analysis and verification: an overview

✍ Scribed by Křena, Bohuslav; Vojnar, Tomáš

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Office automation technology and functio

✍ Martin, Thomas H. 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 610 KB

Formal Methods Research at SICS and KTH:

✍ Mads Dam; Lars-Åke Fredlund; Dillian Gurov 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 57 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Formal verification of systems with an u

✍ Varekova, P.; Zimmerova, B.; Moravec, P.; Cerna, I. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 470 KB

Discrete event and hybrid systems in rob

✍ Sobh, T.M.; Benhabib, B. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 788 KB

[Lecture Notes in Computer Science] Form

✍ Aichernig, Bernhard K.; Boer, Frank S.; Bonsangue, Marcello M. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 545 KB