Browsing by Author "van Zijl, Martin"

Now showing items 1-1 of 1

  • Model checking for cloud autoscaling using WATERS

    van Zijl, Martin (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 ...