- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
DiVinE – A Tool for Distributed Verification
other
Read this book at
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
Most cited references6
- Record: found
- Abstract: not found
- Book Chapter: not found
Parallel state space construction for model-checking
Hubert Garavel, Radu Mateescu, Irina Smarandache (2001)
- Record: found
- Abstract: not found
- Book Chapter: not found
Distributed-Memory Model Checking with SPIN
Flavio Lerda, Riccardo Sisto (1999)
- Record: found
- Abstract: not found
- Book Chapter: not found
Distributing Timed Model Checking — How the Search Order Matters
Gerd Behrmann, Thomas Hune, Frits Vaandrager (2000)