- Record: found
- Abstract: not found
- Book Chapter: not found
Verified Software: Theories, Tools, Experiments
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
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 references14
- Record: found
- Abstract: not found
- Book Chapter: not found
Symbolic Model Checking without BDDs
Armin Biere, Alessandro Cimatti, Edmund Clarke … (1999)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Decision Procedure for Bit-Vectors and Arrays
Vijay Ganesh, David Dill (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Robert Brummayer, Armin Biere (2009)