|
Academic releases of the CSP refinement checker FDR2.
Binaries are currently available for Mac OSX and Linux 32 & 64 bit systems.
FDR2.90 academic release
At the current time these binaries are available for academic
teaching and research purposes only.
- Linux (Intel)
fdr-2.90-academic-linux.tar.gz
- Linux 64-bit (Intel)
fdr-2.90-academic-linux64.tar.gz
- OSX (Intel / PowerPC universal binary)
fdr-2.90-academic-osx.tar.gz
FDR2 Documentation
- The FDR2 manual is available as
a pdf:
- fdr2manual.pdf
The CSP Process Explorer ProBE and the CSP type checker can be
freely downloaded from the website of Formal Systems (Europe) Ltd.
Links to previous FDR2 versions are also available.
|
