Instructions for running the experiments with FDR are described below.
To install FDR4 on a Linux machine, we recommend following the instructions here
There are two versions of the assertions for checking the dining philosophers CSP model, one without partial order reduction in the subfolder Philosophers, and one with under Philosophers/order.
To run the experiments, switch to the respective folder and then execute the python3 program run.py. Results can be summarised with python3 ../../summarise.py phil --hide-context
To run the Alpha Algorithm experiments with FDR, you can use runexptask.py from the subfolder AlphaAlgorithm_Timed_revision1/csp-gen/timed, i.e.
cd csp-gen/timed
python3 run.py
To summarise the results you can use the command python3 ../../../summarise.py D --hide-context