Predicate Abstraction via Symbolic Decision Procedures.

Shuvendu K. Lahiri Thomas Ball Byron Cook

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

decision procedures
theorem proving
modal logic
high level
first order logic
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
quantified boolean formulas
database
databases
state space
temporal logic