✦ LIBER ✦

An efficient approach for abstraction-refinement in model checking

✍ Scribed by Tian, Cong; Duan, Zhenhua; Zhang, Nan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Satisfiability-Based Approach to Abstr

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

Predicate Abstraction and Refinement for

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 182 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

Abstraction refinement in symbolic model

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

On using data abstractions for model che

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

An efficient method for model refinement

✍ A.R. Zirak; M. Khademi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 878 KB