𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model Checking

✍ Scribed by Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbring; Bernhard Josko; Christoph Schulte; Thomas Wolf

Publisher
Springer-Verlag
Year
2004
Tongue
German
Weight
403 KB
Volume
27
Category
Article
ISSN
0170-6012

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking mobile ambients
Model checking mobile ambients
✍ Witold Charatonik; Silvano Dal Zilio; Andrew D. Gordon; Supratik Mukhopadhyay; J 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 789 KB

We settle the complexity bounds of the model checking problem for the ambient calculus with public names against the ambient logic. We show that if either the calculus contains replication or the logic contains the guarantee operator, the problem is undecidable. In the case of the replication-free c

Trail-Directed Model Checking
Trail-Directed Model Checking
✍ Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 299 KB
Model checking transactional memories
Model checking transactional memories
✍ Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 410 KB
Model driven code checking
Model driven code checking
✍ Gerard J. Holzmann; Rajeev Joshi; Alex Groce 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 275 KB
State-rich model checking
State-rich model checking
✍ Leo Freitas; Jim Woodcock; Ana Cavalcanti 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 548 KB