✦ LIBER ✦

On partitioning and symbolic model checking

✍ Scribed by Iyer, S.; Sahoo, D.; Emerson, E.A.; Jain, J.

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

Bisimulation Minimization and Symbolic M

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

Symbolic Model Checking of Software

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

Scalable distributed on-the-fly symbolic

✍ Shoham Ben-David; Orna Grumberg; Tamir Heyman; Assaf Schuster 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 324 KB

SAT-based unbounded symbolic model check

✍ Hyeong-Ju Kang; In-Cheol Park 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 551 KB

Optimizing symbolic model checking for s

✍ Chan, W.; Anderson, R.J.; Beame, P.; Jones, D.H.; Notkin, D.; Warner, W.E. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 504 KB