✦ LIBER ✦

Symbolic model checking APSL

✍ Scribed by Liu, Wanwei ;Wang, Ji ;Chen, Huowang ;Ma, Xiaodong ;Wang, Zhaofei

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic Model Checking of Software

✍ Flavio Lerda; Nishant Sinha; Michael Theobald 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 978 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

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

FromPre-Historic toPost-Modern Symbolic

✍ Thomas A. Henzinger; Orna Kupferman; Shaz Qadeer 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 211 KB