Counterexample-guided abstraction refinement for symbolic model checking.

Edmund M. Clarke Orna Grumberg Somesh Jha Yuan Lu Helmut Veith

Published in: J. ACM (2003)

Keyphrases

symbolic model checking
model checking
formal verification
model checker
temporal logic
conformant planning
deterministic domains
formal specification
finite state
partial observability
formal methods
reinforcement learning