SAT-based counterexample-guided abstraction refinement.

Edmund M. Clarke Anubhav Gupta Ofer Strichman

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
ai planning
answer set programming
data abstraction
logic programs
linear temporal logic
genetic algorithm
knowledge base
multi agent
sat solvers
answer sets
planning domains