Automated verification of virtualized infrastructures.
Sören BleikertzThomas GroßSebastian MödersheimPublished in: CCSW (2011)
Keyphrases
- automated verification
- model checking
- automated reasoning
- computing infrastructure
- formal verification
- cloud computing
- data center
- data management
- temporal logic
- virtual machine
- life sciences
- knowledge representation
- graph theory
- real time
- resource management
- operating system
- optimization problems
- bayesian networks
- data mining