FDR Version 3 Released
Posted: 9th December 2013
We are pleased to announce the general availability of the CSP refinement checker FDR3. FDR3 is a complete rewrite of FDR2 and has been under development at the University of Oxford for the last two years by a team comprising of Thomas Gibson-Robinson, Phil Armstrong, Alexandre Boulgakov and A. W. Roscoe.
The main improvements in FDR3 are:
- A parallel refinement-checking engine that achieves a near linear speed-up for a wide class of problems.
- An integrated type-checker that enables errors in scripts to be pinpointed much more quickly.
- A completely redesigned graphical user interface that provides access to a lot more information, especially when viewing counterexamples.
A full list of the changes is listed in the manual.
FDR3 is freely available for academic, teaching, and research purposes from the project webpage.
At the present time, only 64-bit versions of Linux and Mac OS X are supported.