Fully Symbolic Model Checking for Timed Automata.
Georges MorbéChristoph SchollPublished in: MBMV (2011)
Keyphrases
- symbolic model checking
- model checking
- timed automata
- temporal logic
- model checker
- formal verification
- finite state
- conformant planning
- formal specification
- formal methods
- orders of magnitude
- partial observability
- planning domains
- binary decision diagrams
- computational complexity
- theorem prover
- software engineering