Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking.

Shankar G. Govindaraju David L. Dill

Published in: ICCAD (2000)

Keyphrases

symbolic model checking
model checking
formal verification
temporal logic
model checker
conformant planning
finite state
formal specification
partial observability
exact solution
binary decision diagrams
formal methods
symbolic representation
planning domains
data structure
heuristic search
orders of magnitude