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.

Binaries are currently available for Mac OSX, Linux and Solaris on SPARC.

FDR2.83 academic use release

At the current time these binaries are available for academic teaching and research purposes only.

Solaris (SPARC)

fdr-2.83-solaris-academic.tar.gz

Linux (Intel)

fdr-2.83-linux-academic.tar.gz

OSX (Intel / PowerPC universal binary)

fdr-2.83-osx-academic.tar.gz

FDR2 Documentation

Coming shortly. Meanwhile, please view the documentation here.

The CSP Process Explorer ProBE and the CSP type checker can be freely downloaded from the website of Formal Systems (Europe) Ltd.