✦ LIBER ✦

SMT-based scenario verification for hybrid systems

✍ Scribed by Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Safety verification and reachability ana

✍ Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 409 KB

Computational Methods for Verification o

✍ Koutsoukos, X.D.; Riley, D. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 533 KB

Scenario-Based Simulation Environment fo

✍ Dr. Ir. Martijn Tideman 📂 Article 📅 2010 🏛 Springer Automotive Media 🌐 English ⚖ 620 KB

Hybrid, Incremental Assertion-Based Veri

✍ Bombieri, N.; Fummi, F.; Pravadelli, G.; Fedeli, A. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 963 KB

Tightened reachability constraints for t

✍ Zhikun She; Zhiming Zheng 📂 Article 📅 2008 🏛 Elsevier 🌐 English ⚖ 635 KB

Compositional verification for component

✍ Bensalem, S.; Bozga, M.; Nguyen, T.-H.; Sifakis, J. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 513 KB