- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Methods in Computer-Aided Design
Checking Safety Properties Using Induction and a SAT-Solver
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 references1
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A. Cimatti, E. Clarke … (1999)
