Mark Timmer

PhD Student, University of Twente

• Home
• Research
• SCOOP tool
• Teaching
• CV
• Contact

• Home of SCOOP
• Stand-alone version
• Web-based version
• Input language
• Features
• Case studies

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):

• Models used for the experiments in the paper
• Test script to run the experiments

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:

• chmod +x testscript

To immediately go to the web-based interface with all flags set in the right way to reproduce some of our results, go to:

• Processor architecture (without confluence, with confluence).
• Leader election with three nodes (without confluence, with confluence).
• Leader election with four nodes (without confluence, with confluence).
• Polling system with two stations (without confluence, with confluence).
• Polling system with three stations (without confluence, with confluence).