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 firstname.lastname@example.org
Beta versions of FDR3 are available from https://www.cs.ox.ac.uk/projects/fdr/.
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)
- Linux (x86_64)
- OS X (Combined ia32/x86_64 binary)
The CSP Process Explorer ProBE and the CSP type checker can be freely downloaded from the website of Formal Systems (Europe) Ltd.
Various prototype builds of FDR2 which include new features are also available: