Verifying that a software system shows certain non-functional properties is a primary concern for Cloud applications (In this chapter non-functional properties, QoS and non-functional requirements will be used interchangeably.). Given the heterogeneous technology offer and the related pricing models currently available in the Cloud market it is extremely complex to find the deployment that fits the application requirements, and provides the best Quality of Service (QoS) and cost trade-offs.