- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Reasoning
Model Finding for Recursive Functions in SMT
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 references28
- Record: found
- Abstract: not found
- Book Chapter: not found
CVC4
Clark Barrett, Christopher Conway, Morgan Deters … (2011)
- Record: found
- Abstract: not found
- Article: not found
Institutions: abstract model theory for specification and programming
Rod M. Burstall, Joseph Goguen (1992)
- Record: found
- Abstract: not found
- Book Chapter: not found
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
Yeting Ge, Leonardo de Moura (2009)