Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing.
Rawand GuerfelZohra SbaïRahma Ben AyedPublished in: ICSOC Workshops (2017)
Keyphrases
- cost effective
- model checking
- cloud computing
- data center
- cost effectiveness
- temporal logic
- private cloud
- computing resources
- model checker
- formal verification
- automated verification
- low cost
- temporal properties
- service providers
- cloud computing environment
- verification method
- symbolic model checking
- formal specification
- bounded model checking
- computation tree logic
- distributed computing
- data management
- timed automata
- formal methods
- cloud storage
- transition systems
- epistemic logic
- security issues
- alternating time temporal logic
- virtual machine
- business models
- cloud computing platform
- databases
- cloud services
- computational intelligence
- database