- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs
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 references8
- Record: found
- Abstract: not found
- Book Chapter: not found
Multi-Core LTSmin: Marrying Modularity and Scalability
Alfons Laarman, Jaco van de Pol, Michael Weber (2011)
- 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)
- Record: found
- Abstract: not found
- Book Chapter: not found
DiVinE – A Tool for Distributed Verification
Jirí Barnat, Luboš Brim, Ivana Černá … (2006)