Proceedings of the First International Workshop on Formal Methods for and on the Cloud

Razieh Behjati, Ahmed Elmokashfi

Cloud solutions are increasingly used for a plethora of purposes, including solving memory-intensive and computation-intensive problems. Ensuring the reliability, availability, sca…