✦ LIBER ✦

Editorial: automated compositional verification

✍ Scribed by Giannakopoulou, D.; Pasareanu, C.S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Interface Refinement for Compo

✍ Haiqiong Yao; Hao Zheng 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 352 KB

Compositional Verification in Supervisor

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

Automating software feature verification

✍ Gerard J. Holzmann; Margaret H. Smith 📂 Article 📅 2002 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 198 KB 👁 1 views

Compositional verification of sequential

✍ Dilian Gurov; Marieke Huisman; Christoph Sprenger 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Automated verification of refinement law

✍ Peter Höfner; Georg Struth; Geoff Sutcliffe 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 411 KB

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB