Additional files corresponding to QEST 2011 paper
     "SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes"

This page contains complementary material for the paper "SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes", which appeared in the proceedings of the 8th International Conference on Quantitative Evaluation of SysTems (QEST 2011).

Reproducing the experiments

To reproduce the experiments that are described in the paper, you need the following three things (or only the first two when using Linux or Mac OS X): Furthermore, you need to download the tool (or try the smaller variants of the leader election protocol on the web-based interface).
(The sources of the same version of the tool that was used for these experiments can be found here.)

Now, the experiments described in the paper can be reproduced by placing the models and the test script (or the batch file and the timer application) in the same directory as the tool, and executing it. Possibly, in Linux or Mac OS X, you first have to make the script executable using: