- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
Parameterized Verification with Automatically Computed Inductive Assertions?
other
July 4 2001
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 references23
- Record: found
- Abstract: not found
- Book: not found
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli (1995)
- Record: found
- Abstract: not found
- Article: not found
Reasoning about systems with many processes
A. Sistla, Steven M. German (1992)
- Record: found
- Abstract: not found
- Article: not found
Limits for automatic verification of finite-state concurrent systems
Dexter Kozen, Krzysztof R. Apt (1986)