✦ LIBER ✦

Partial model checking via abstract interpretation

✍ Scribed by N. De Francesco; G. Lettieri; L. Martini; G. Vaglini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refining Model Checking by Abstract Inte

✍ Patrick Cousot; Radhia Cousot 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 196 KB

A Partial Approach to Model Checking

✍ P. Godefroid; P. Wolper 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

Model-Checking View-Based Partial Specif

✍ Michael Huth; Shekhar Pradhan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 267 KB

Preface to a special section on verifica

✍ Neil D. Jones; Markus Müller-Olm 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 91 KB

Abstract regular (tree) model checking

✍ Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 861 KB

Abstract Regular Tree Model Checking

✍ Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 253 KB