Model checking concurrent systems with MSVL.
Nan ZhangZhenhua DuanCong TianPublished in: Sci. China Inf. Sci. (2016)
Keyphrases
- concurrent systems
- model checking
- temporal logic
- process algebra
- formal specification
- automated verification
- finite state
- model checker
- formal verification
- transition systems
- temporal properties
- reachability analysis
- symbolic model checking
- computation tree logic
- verification method
- timed automata
- formal methods
- modal logic
- bounded model checking
- pspace complete
- linear temporal logic
- satisfiability problem
- distributed systems
- epistemic logic
- petri net