An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.
Ehsan KhamespanahRamtin KhosraviMarjan SirjaniPublished in: Sci. Comput. Program. (2018)
Keyphrases
- model checking
- verification method
- finite state machines
- formal verification
- optimal solution
- timed automata
- partial order reduction
- deterministic finite automaton
- model checker
- temporal logic
- dynamic programming
- decision problems
- temporal properties
- search space
- reachability analysis
- automated verification
- computational complexity
- multi agent systems