OpenSMT and Applications
We describe (OpenSMT and show its use (with demos) the use of OpenSMT when applied to the Lazy-abstraction (with interpolants) framework, interpolants computation, interpolants strenght, and unsatisfiability-proof reduction.
...