- Record: found
- Abstract: found
- Book Chapter: found
Computer Aided Verification
Solving Quantified Bit-Vectors Using Invertibility Conditions
other
July 18 2018
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 references17
- Record: found
- Abstract: not found
- Book Chapter: not found
CVC4
Clark Barrett, Christopher Conway, Morgan Deters … (2011)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Syntax-guided synthesis
Mukund Raghothaman, Sanjit Seshia, Abhishek Udupa … (2013)
- Record: found
- Abstract: not found
- Book Chapter: not found
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
Yeting Ge, Leonardo de Moura (2009)