✦ LIBER ✦

Model checking action system refinements

✍ Scribed by Graeme Smith; Kirsten Winter

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

Refining and Compressing Abstract Model

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

Model checking for action-based logics

✍ Alessandro Fantechi; Stefania Gnesi; Gioia Ristori 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 813 KB

Compositional Action System Refinement

✍ R. J. R. Back; J. von Wright 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 162 KB

Refinement of fair action systems

✍ Ralph J.R. Back; Qiwen Xu 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

Predicate Abstraction and Refinement for

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