Additional files corresponding to the QEST 2013 submission
     "MaMa: A Tool-Chain for Modelling and Analysing Markov Automata"

This page contains complementary material for the paper "MaMa: A Tool-Chain for Modelling and Analysing Markov Automata", that is currently in submission at QEST 2013.

Reproducing the experiments

To reproduce the experiments that are described in the paper, you need the following (although our tool SCOOP runs on any platform, the tool IMCA we rely on only works on Linux or Mac OS X): Furthermore, you need to install SCOOP and install IMCA (or try the smaller variants on the web-based interface).
(The sources of the same version of SCOOP that were used for these experiments can be found here, and those for IMCA here.)

Now, the experiments described in the paper can be reproduced by placing the models and the test script in the same directory, making sure that the tool binaries at in the path, and executing the script. Possibly, you first have to make the script executable using: