Symbolic Model Checking: 10^20 States and Beyond
Jerry R. BurchEdmund M. ClarkeKenneth L. McMillanDavid L. DillL. J. HwangPublished in: Inf. Comput. (1992)
Keyphrases
- symbolic model checking
- model checking
- partial observability
- conformant planning
- formal verification
- binary decision diagrams
- belief state
- model checker
- artificial intelligence
- transition probabilities
- formal methods
- formal specification
- state variables
- temporal logic
- incomplete information
- association rules
- data mining