Additional files corresponding to the FORMATS 2013 and TCS-QAPL 2014 paper
     "Confluence Reduction for Markov Automata"

This page contains complementary material for the paper "Confluence Reduction for Markov Automata".

Reproducing the experiments

To reproduce the experiments that are described in the paper, you need the following two things (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: To immediately go to the web-based interface with all flags set in the right way to reproduce some of our results, go to: