- Record: found
- Abstract: not found
- Book Chapter: not found
NASA Formal Methods
Practical Partial Order Reduction for CSP
other
April 8 2015
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 references12
- Record: found
- Abstract: not found
- Book: not found
Partial-Order Methods for the Verification of Concurrent Systems
Patrice Godefroid (1996)
- Record: found
- Abstract: not found
- Book Chapter: not found
Stubborn sets for reduced state space generation
Antti Valmari (1991)
- Record: found
- Abstract: not found
- Book Chapter: not found
All from one, one for all: on model checking using representatives
Doron Peled (1993)