- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
Using on-the-fly verification techniques for the generation of test suites
other
June 3 2005
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 references10
- Record: found
- Abstract: not found
- Article: not found
On-the-fly verification of finite transition systems
Jean-Claude Fernandez, Laurent Mounier, Claude Jard … (1992)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
A toolbox for the verification of LOTOS programs
- Record: found
- Abstract: not found
- Book Chapter: not found
Two approaches linking a test generation tool with verification techniques
Marylène Clatin, Roland Groz, Marc Phalippou … (1996)