✦ LIBER ✦

Compositional verification for component-based systems and application

✍ Scribed by Bensalem, S.; Bozga, M.; Nguyen, T.-H.; Sifakis, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

SAT-based verification for timed compone

✍ S. Kemper 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 681 KB

Compositional software verification base

✍ Aleksandar Dimovski; Ranko Lazić 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 650 KB

Compositional Verification in Supervisor

✍ Flordal, Hugo; Malik, Robi 📂 Article 📅 2009 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 328 KB

SMT-based scenario verification for hybr

✍ Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 800 KB

Compositional Verification of Knowledge-

✍ Frank Cornelissen; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 501 KB