Symbolic Model Checking: 10^20 States and Beyond

Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. J. Hwang

Published in: LICS (1990)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
binary decision diagrams
belief state
model checker
symbolic representation
temporal logic
bayesian networks
knowledge base
state variables
description language