Sign in

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.

Roberto CavadaAlessandro CimattiAnders FranzénKrishnamani KalyanasundaramMarco RoveriR. K. Shyamasundar
Published in: FMCAD (2007)
Keyphrases
  • high level
  • modulo theories
  • heuristic search
  • databases
  • trade off
  • efficient computation
  • constraint solver