Towards Verified Cloud Computing Environments - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Towards Verified Cloud Computing Environments

Résumé

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.
Fichier non déposé

Dates et versions

hal-00708821 , version 1 (15-06-2012)

Identifiants

  • HAL Id : hal-00708821 , version 1

Citer

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⟩
106 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More