- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
SATABS: SAT-Based Predicate Abstraction for ANSI-C
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 references11
- Record: found
- Abstract: not found
- Book Chapter: not found
Counterexample-Guided Abstraction Refinement
Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Lazy abstraction
Thomas Henzinger, Ranjit Jhala, Rupak Majumdar … (2002)
- Record: found
- Abstract: not found
- Book: not found
Computer-Aided Verification of Coordinating Processes
Robert Kurshan (1995)
