✦ LIBER ✦

Simulation Machines for Checking Action System Refinements

✍ Scribed by Graeme Smith; Kirsten Winter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking action system refinements

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

Predicate Abstraction and Refinement for

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

Partitioned PLTL model-checking for refi

✍ J. Julliand; P.-A. Masson; E. Oudot 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 428 KB

Refinement of actions and equivalence no

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

Simulating transient-state system effect

✍ Fen-Hui Lin; Way Kuo 📂 Article 📅 1994 🏛 IEEE 🌐 English ⚖ 482 KB

A novel collaborative scheme of simulati

✍ Ming Zhu; Jinian Bian; Weimin Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 458 KB