From this page you can download the academic releases of the CSP refinement checker FDR2, together with links to some other CSP-related tools, including a CSP type checker and the CSP process explorer ProBE.
For information about these tools, please contact fdr-queries@cs.ox.ac.uk
Binaries are currently available for Mac OSX (universal 32/64 bit binary) and Linux (separate 32 and 64 bit binaries).
FDR 2.94 academic use release
This release of FDR2 introduces the following new features:
- prioritise(): a transformation on processes to prioritise groups of events over each other.
- wbisim(): Divergence respecting Weak Bisimulation
- P [+A+] Q: A parallel choice where events in A do not resolve the choice.
- Timed CSP.
This release of FDR2 also fixes a small number of correctness bugs in FDR 2.91 : All users are encouraged to upgrade.
At the current time these binaries are available for academic teaching and research purposes only.
- Linux (ia32)
- fdr-2.94-academic-linux.tar.gz
- Linux (x86_64)
- fdr-2.94-academic-linux64.tar.gz
- OS X (Combined ia32/x86_64 binary)
- fdr-2.94-academic-osx.tar.gz
FDR2 Documentation
The FDR2 manual is available to download as a pdf or html tarfile. The manual is also available online
Other tools
The CSP Process Explorer ProBE and the CSP type checker can be freely downloaded from the website of Formal Systems (Europe) Ltd.