Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking.
Hichem DebbiPublished in: Informatica (Slovenia) (2021)
Keyphrases
- cloud computing
- model checking
- temporal logic
- computing resources
- data center
- distributed computing
- temporal properties
- formal verification
- big data
- reactive systems
- automated verification
- cloud computing environment
- data management
- service providers
- formal specification
- symbolic model checking
- verification method
- cloud storage
- model checker
- bounded model checking
- formal methods
- cloud computing platform
- timed automata
- computation tree logic
- data warehouse
- epistemic logic
- modeling language
- computing infrastructure
- database
- alternating time temporal logic