✦ LIBER ✦

Optimizing symbolic model checking for statecharts

✍ Scribed by Chan, W.; Anderson, R.J.; Beame, P.; Jones, D.H.; Notkin, D.; Warner, W.E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic model checking APSL

✍ Liu, Wanwei ;Wang, Ji ;Chen, Huowang ;Ma, Xiaodong ;Wang, Zhaofei 📂 Article 📅 2009 🏛 Higher Education Press and Springer 🌐 English ⚖ 590 KB

Symbolic model checking for self-stabili

✍ T. Tsuchiya; S. Nagano; R. Paidi; T. Kikuno 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 558 KB

Symbolic Model Checking of Software

✍ Flavio Lerda; Nishant Sinha; Michael Theobald 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 978 KB

Requirements-Level Semantics and Model C

✍ Rik Eshuis; David N. Jansen; Roel Wieringa 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 419 KB

Bisimulation Minimization and Symbolic M

✍ Kathi Fisler; Moshe Y. Vardi 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 306 KB

On partitioning and symbolic model check

✍ Iyer, S.; Sahoo, D.; Emerson, E.A.; Jain, J. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 264 KB