✦ LIBER ✦

Counter-example generation in symbolic abstract model-checking

✍ Scribed by Gordon Pace; Nicolas Halbwachs; Pascal Raymond

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Abstraction refinement in symbolic model

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

A generalized semantics of PROMELA for a

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 273 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

General models in min-max planar locatio

✍ J. B. G. Frenk; J. Gromicho; S. Zhang 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 980 KB

A Satisfiability-Based Approach to Abstr

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