✦ LIBER ✦

On using data abstractions for model checking refinements

✍ Scribed by John Derrick; Heike Wehrheim

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

Verifying data refinements using a model

✍ Graeme Smith; John Derrick 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB

Predicate Abstraction and Refinement for

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

Abstraction refinement in symbolic model

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

A Satisfiability-Based Approach to Abstr

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

Model Checking Data Consistency for Cach

✍ Hong Pan; Hui-Min Lin; Yi Lv 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 433 KB