✦ LIBER ✦

Improved model checking of hierarchical systems

✍ Scribed by Benjamin Aminof; Orna Kupferman; Aniello Murano

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking hierarchical structures

✍ Markus Lohrey 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Compositional Model Checking of Concurre

✍ Zheng, Hao; Zhang, Zhen; Myers, Chris J.; Rodriguez, Emmanuel; Zhang, Yingying 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 889 KB

Improved statistical model checking meth

✍ Chuan Hock Koh, Sucheendra K Palaniappan, PS Thiagarajan… 📂 Article 📅 2012 🏛 BioMed Central 🌐 English ⚖ 568 KB

Budget-bounded model-checking pushdown s

✍ Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rezine, Othmane; Stenman, Jari 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 1004 KB

Model-checking Driven Design of Interact

✍ Antonio Cerone; Norzima Elbegbayan 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views