-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Martin van Zijl edited this page Jan 19, 2020
·
6 revisions
This repository contains files for my Master's project.
Model for NGINX cloud is here: models/model-2-01Z-nginx-final.wmod
Model for NodeJS cloud is here: models/model-2-02Z-nodejs-final.wmod
To view these, click on the link for the model, then click on the "Raw" button, then use "Save As..." to save to your computer. Then open the ".wmod" file in WATERS.
To download WATERS, go to https://www.cs.waikato.ac.nz/~robi/download_waters/.
After downloading WATERS, please use the instructions for enabling the normalising compiler option: WATERS-Normalising-Compiler-Option. This is required for my models to work correctly in the GUI.