✦ LIBER ✦

SAT-based unbounded symbolic model checking

✍ Scribed by Hyeong-Ju Kang; In-Cheol Park

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Sat-Based Approach to Unbounded Model

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

Efficient distributed SAT and SAT-based

✍ Malay K. Ganai; Aarti Gupta; Zijiang Yang; Pranav Ashar 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 271 KB

Fully Symbolic Unbounded Model Checking

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 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

Partitioning Interpolant-Based Verificat

✍ Cabodi, G.; Garcia, L.A.; Murciano, M.; Nocco, S.; Quer, S. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 694 KB

Symbolic Model Checking of Software

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