I am looking for research papers or similar endeavors (experiments) that describe the formal verification of system (infrastructure components) properties in a cloud-computing setting. This pursuit has relevance in the SaaS (Software as a Service) paradigm.
Thanks for any feedback.
Ramu