Verifying cloud services: present and future

Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer

Research output: Contribution to journalArticlepeer-review


As cloud-based services gain popularity in both private and enterprise domains, cloud consumers are still lacking in tools to verify that these services work as expected. Such tools should consider properties such as functional correctness, service availability, reliability, performance and security guarantees. In this paper we survey existing work in these areas and identify gaps in existing cloud technology in terms of the verification tools provided to users. We also discuss challenges and new research directions that can help bridge these gaps.
Original languageEnglish
Pages (from-to)6-19
Number of pages14
JournalOperating systems review
Issue number2
Publication statusPublished - 1 Jan 2013


  • cloud services
  • verification
  • distributed systems
  • security
  • Safety Analysis


Dive into the research topics of 'Verifying cloud services: present and future'. Together they form a unique fingerprint.

Cite this