Login / Signup

Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.

Yeting GeClark W. BarrettCesare Tinelli
Published in: CADE (2007)
Keyphrases
  • model checking
  • satisfiability modulo theories
  • modulo theories
  • objective function
  • orders of magnitude
  • solving problems