Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.

Sharon Barner Orna Grumberg

Published in: CAV (2002)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
conformant planning
symbolic representation
binary decision diagrams
search space
knowledge base
data structure
search algorithm
temporal logic
model checker