Bounded Model Checking for Timed Automata.
Maria SoreaPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- cooperative
- bounded model checking
- timed automata
- model checking
- temporal logic
- formal verification
- reachability analysis
- finite state
- formal specification
- linear temporal logic
- formal methods
- epistemic logic
- reactive systems
- transition systems
- concurrent systems
- artificial intelligence
- planning domains
- orders of magnitude
- distributed systems