Model Checking Probabilistic Network Propagation Protection Strategies.
Zonghao GuoOu WeiPeng YuLansheng HanWeiming WuPublished in: Trustcom/BigDataSE/ISPA (2016)
Keyphrases
- model checking
- probabilistic networks
- temporal logic
- temporal properties
- formal verification
- model checker
- automated verification
- symbolic model checking
- verification method
- formal specification
- computation tree logic
- formal methods
- alternating time temporal logic
- bounded model checking
- markov networks
- epistemic logic
- graphical models
- bayesian networks
- bayesian belief networks
- probabilistic inference
- influence diagrams
- timed automata
- expert systems
- reactive systems
- transition systems
- ctl model update