Validation of Service Level Agreements Using Probabilistic Model Checking.
Maria KrotsianiChristos KloukinasGeorge SpanoudakisPublished in: SCC (2017)
Keyphrases
- model checking
- service level agreements
- temporal logic
- formal verification
- temporal properties
- model checker
- automated verification
- verification method
- formal specification
- service level
- computation tree logic
- transition systems
- symbolic model checking
- service oriented
- cloud computing
- timed automata
- epistemic logic
- bayesian networks
- quality of service
- probabilistic model
- formal methods
- service oriented architecture
- business process
- distributed systems
- response time
- decision making
- databases
- deterministic finite automaton
- real time