FDR3 has now been released and is available from here.
FDR3 incorporates many improvements over FDR2, including a multi-core refinement checker (with support for clusters); an integrated type-checker; and a re-imagined user interface. All users of FDR2 and strongly encouraged to upgrade to FDR3 as soon as possible.
Historical FDR2 binaries
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
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: