Counterexample guided inductive optimization based on satisfiability modulo theories
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification procedure, in order to perform inductive generalization, based...
Main Authors: | , , , , |
---|---|
Format: | Journal article |
Published: |
Elsevier
2017
|