HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Towards Verified Cloud Computing Environments

Abstract : As the usage of cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. We argue that most of the layers could be practically formally verified, even if the work to verify all levels is huge.
Document type :
Conference papers
Complete list of metadata

Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Friday, June 15, 2012 - 7:03:24 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM


  • HAL Id : hal-00708821, version 1



Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre. Towards Verified Cloud Computing Environments. International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain. ⟨hal-00708821⟩



Record views