Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.
Akin GünaySongzheng SongYang LiuJie ZhangPublished in: AAAI (2015)
Keyphrases
- model checking
- automated analysis
- temporal logic
- formal verification
- model checker
- finite state
- visual analysis
- formal specification
- timed automata
- reachability analysis
- temporal properties
- transition systems
- verification method
- bounded model checking
- automated verification
- symbolic model checking
- formal methods
- pspace complete
- computation tree logic
- epistemic logic
- concurrent systems
- process algebra
- bayesian networks
- alternating time temporal logic
- linear temporal logic
- reactive systems
- asynchronous circuits
- communication protocols
- probabilistic reasoning
- video analysis