✦ LIBER ✦

Bisimulation Minimization and Symbolic Model Checking

✍ Scribed by Kathi Fisler; Moshe Y. Vardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Backward Bisimulation in Markov Chain Mo

✍ Sproston, J.; Donatelli, S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 678 KB

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 transition graph and its early

✍ Zhoujun Li; Huowang Chen; Bingshan Wang 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 653 KB

On partitioning and symbolic model check

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

Symbolic Model Checking of Software

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

SAT-based unbounded symbolic model check

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