Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.
Shinji KikuchiToshiaki AokiPublished in: SOSE (2013)
Keyphrases
- model checking
- service management
- temporal logic
- automated verification
- formal verification
- temporal properties
- model checker
- formal specification
- symbolic model checking
- verification method
- transition systems
- epistemic logic
- timed automata
- formal methods
- bounded model checking
- computation tree logic
- decision making
- reactive systems
- alternating time temporal logic
- network management
- service delivery
- embedded systems
- modal logic
- cloud computing
- expert systems