✦ LIBER ✦

Refining Model Checking by Abstract Interpretation

✍ Scribed by Patrick Cousot; Radhia Cousot

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refining and Compressing Abstract Model

✍ Agostino Dovier; Roberto Giacobazzi; Elisa Quintarelli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Partial model checking via abstract inte

✍ N. De Francesco; G. Lettieri; L. Martini; G. Vaglini 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 192 KB

On using data abstractions for model che

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

Refining abstract interpretations

✍ Bhargav S. Gulavani; Supratik Chakraborty; Aditya V. Nori; Sriram K. Rajamani 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 184 KB

An efficient approach for abstraction-re

✍ Tian, Cong; Duan, Zhenhua; Zhang, Nan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 597 KB

Model checking action system refinements

✍ Graeme Smith; Kirsten Winter 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 691 KB