OpenSMT and Applications

put your abstract hereWe describe the use of OpenSMT applied to the Lazy-abstraction (with interpolants) framework, interpolants computation, interpolants strenght, and unsatisfiability-proof reduction.

Roberto Bruttomesso & Natasha Sharygina, University of Lugano, Lugano, Switzerland

...