✦ LIBER ✦

Model Checking with Abstract Types

✍ Scribed by Kirsten Winter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Directed model checking with distance-pr

✍ Klaus Dräger; Bernd Finkbeiner; Andreas Podelski 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 465 KB

Refining and Compressing Abstract Model

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

Counter-example generation in symbolic a

✍ Gordon Pace; Nicolas Halbwachs; Pascal Raymond 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 199 KB

A Tool for Abstraction in Model Checking

✍ María del Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Distributed Model Checking: From Abstrac

✍ Christophe Joubert 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Semantic analysis of concurrent ML by ab

✍ Régis Cridlig 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 30 KB