✦ LIBER ✦

Verification of clocked and hybrid systems

✍ Scribed by Yonit Kesten; Zohar Manna; Amir Pnueli

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

SMT-based scenario verification for hybr

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

Computational Methods for Verification o

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

[Lecture Notes in Computer Science] Hybr

✍ Antsaklis, Panos; Kohn, Wolf; Nerode, Anil; Sastry, Shankar 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 530 KB

Tightened reachability constraints for t

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

The derivation and experimental verifica

✍ Palumbo, D.L. 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 1020 KB