A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.
Yati PhyoCanh Minh DoKazuhiro OgataPublished in: COMPSAC (2021)
Keyphrases
- model checking
- temporal logic
- formal verification
- finite state
- temporal properties
- verification method
- formal specification
- model checker
- finite state machines
- partial order reduction
- formal methods
- automated verification
- pspace complete
- reachability analysis
- symbolic model checking
- bounded model checking
- concurrent systems
- timed automata
- linear temporal logic
- epistemic logic
- planning domains
- transition systems
- process algebra
- computation tree logic
- artificial intelligence