✦ LIBER ✦

Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking

✍ Scribed by Cabodi, G.; Garcia, L.A.; Murciano, M.; Nocco, S.; Quer, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model checking-based approach for secu

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

A Sat-Based Approach to Unbounded Model

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

Combining static analysis and case-based

✍ WenHui Zhang 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 780 KB

Modeling the input non-quasi-static effe

✍ Kejun Xia; Guofu Niu 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 711 KB