Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.

Yeting Ge, Clark W. Barrett, Cesare Tinelli

Browse the full CADE paper archive.