Optimizing Symbolic Model Checking for Statecharts.
William ChanRichard J. AndersonPaul BeameDavid H. JonesDavid NotkinWilliam E. WarnerPublished in: IEEE Trans. Software Eng. (2001)
Keyphrases
- symbolic model checking
- model checker
- model checking
- binary decision diagrams
- formal verification
- formal methods
- temporal logic
- conformant planning
- partial observability
- description language
- formal specification
- boolean functions
- set theory
- symbolic representation
- finite state
- artificial intelligence
- domain specific
- data structure