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 …
Freshness and Name-Restriction in Sets of Traces with Names
Authors: Murdoch J. Gabbay, Vincenzo Ciancia

See all cited by