University of Oxford Logo University of OxfordDepartment of Computer Science - Home

FDR3 Released

FDR3 is available from https://www.cs.ox.ac.uk/projects/fdr/.

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 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:

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-linux32.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.

Research Prototypes

Various prototype builds of FDR2 which include new features are also available: