Parametric Real-Time Model Checking Using Splitting Trees.
R. F. Lutje SpelbergW. J. ToetenelPublished in: Nord. J. Comput. (2001)
Keyphrases
- model checking
- real time
- temporal logic
- partial order reduction
- automated verification
- formal specification
- finite state
- formal verification
- finite state machines
- temporal properties
- symbolic model checking
- verification method
- reachability analysis
- process algebra
- model checker
- computation tree logic
- formal methods
- bounded model checking
- transition systems
- timed automata
- linear temporal logic
- epistemic logic
- real time systems
- pspace complete
- planning domains
- tree automata
- satisfiability problem
- ordered binary decision diagrams
- deterministic finite automaton
- modal logic