An Abstract Interpretation of DPLL(T).

Martin Brain Vijay Victor D'Silva Leopold Haller Alberto Griggio Daniel Kroening

Published in: VMCAI (2013)

Keyphrases

abstract interpretation
termination analysis
static analysis
np complete
sat solvers
model checking
clause learning
active rules
dynamic analysis
reasoning engine
first order logic
active databases
database
fine grained
search strategies
business rules
orders of magnitude
source code