
This package includes:

- fdr3-3686-linux-x86_64.tar.gz: A version of FDR4 with DeadlOx included.
While DeadlOx implements the Pair framework. The GUI provide by FDR4 does not work with our prototype. So, users of our tool should use the command line interface.

- Template: contains all template files used by the Cheetah template language to generate all .csp files used in our experiments.

- Conf.py: sets all the configuration variables that are needed in order to run our experiments.

- MainFAC.py: executes the experiments related to deadlock and local-deadlock freedom analysis.

These python scripts generate all files describing the systems we test and carry out their analysis using the various techniques we compare.
All the other files are auxiliary files needed by our experiments.
We package our prototype and a slightly modified version of the Deadlock Checker which allows command line interaction.
(The Deadlock Checker is originally a GUI-based tool; its original source code can be found in: http://wotug.org/parallel/theory/formal/csp/Deadlock/.)
To run our experiments, one needs to install FDR2, FDR4 (https://www.cs.ox.ac.uk/projects/fdr/) and D-Finder 2 (http://www-verimag.imag.fr/DFinder.html)
