The SPIN Model Checker: Primer and Reference Manual

Author(s): GJ Holzmann, G.J. Holzmann, G Holzmann, GJ Holzmann, G.J. Holzmann, G. Holzmann

Publication date: 2003

Read this book at

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Data availability:

Comments

Comment on this book

Cited by 24

Model Checking of Linearizability of Concurrent List Implementations
Authors: Pavol Černý, Arjun Radhakrishna, Damien Zufferey …
The Hanoi Omega-Automata Format
Authors: Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz …
WSAT: A Tool for Formal Analysis of Web Services
Authors: Xiang Fu, Tevfik Bultan, Jianwen Su

See all cited by