- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
CADP a protocol validation and verification toolbox
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 references2
- Record: found
- Abstract: not found
- Book Chapter: not found
Using on-the-fly verification techniques for the generation of test suites
Jean -Claude Fernandez, Claude Jard, Thierry Jéron … (1996)
- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Specification of a Framework for Groupware Development
Alain Kerbrat, Slim Ben Atallah (1996)