Browsing by Author "Patros, Panagiotis"
Co-authors for Panagiotis Patros
Supervised by Panagiotis Patros
Showing up to 5 theses - most recently added to Research Commons first.
(The University of Waikato, 2020)This thesis investigates the use of formal methods to verify cloud system designs against Service Level Agreements (SLAs), towards providing guarantees under uncertainty. We used WATERS (the Waikato Analysis Toolkit for ...