𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model checking

✍ Scribed by Madhavan Mukund

Book ID
107589725
Publisher
Indian Academy of Sciences
Year
2009
Tongue
English
Weight
373 KB
Volume
14
Category
Article
ISSN
0971-8044

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Model Checking
Model Checking
✍ Ralf BuschermΓΆhle; Mark BrΓΆrkens; Ingo BrΓΌckner; Werner Damm; Wilhelm Hasselbrin πŸ“‚ Article πŸ“… 2004 πŸ› Springer-Verlag 🌐 German βš– 403 KB
Deductive Model Checking
Deductive Model Checking
✍ Henny B. Sipma; TomΓ‘s E. Uribe; Zohar Manna πŸ“‚ Article πŸ“… 1999 πŸ› Springer 🌐 English βš– 306 KB
Model Checking Programs
Model Checking Programs
✍ Willem Visser; Klaus Havelund; Guillaume Brat; SeungJoon Park; Flavio Lerda πŸ“‚ Article πŸ“… 2003 πŸ› Springer US 🌐 English βš– 202 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