IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things.
Mujahid MohsinMuhammad Usama SardarOsman HasanZahid AnwarPublished in: IEEE Access (2017)
Keyphrases
- model checking
- temporal logic
- formal specification
- formal methods
- artifact centric
- formal verification
- finite state
- abstract interpretation
- model checker
- epistemic logic
- timed automata
- bayesian networks
- ordered binary decision diagrams
- automated verification
- knowledge base
- verification method
- logical framework
- computation tree logic