✦ LIBER ✦

Refining and Compressing Abstract Model Checking

✍ Scribed by Agostino Dovier; Roberto Giacobazzi; Elisa Quintarelli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On using data abstractions for model che

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

Predicate Abstraction and Refinement for

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 182 KB

Model checking action system refinements

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

A Satisfiability-Based Approach to Abstr

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 148 KB

Model Checking with Abstract Types

✍ Kirsten Winter 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Abstraction refinement in symbolic model

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 548 KB