Verifying Cloud Services: Present and Future

   Abstract