Book cover    FDR availability and licencing

You can download FDR from this site. It is available for a number of Unix implementations.

 FDR is freely available for non-commercial use: for academic teaching and research, and for use by individuals for private study and research.  Any organisation or individual may use FDR freely in connection with running CSP example files (other than those implementing SVA) available from this website or in solving exercises contained in UCS or TPC.  You may use FDR freely in connection with SVA if covered by the academic or individual exemptions described above or if running the SVL examples downloadable from the SVA site or solving exercises in Chapters 18 or 19 of UCS.

If you are in any doubt about whether your use of FDR is covered by the above permissions, or wish to obtain a commercial licence, please email enquiries@fsel.com

The sources of FDR are freely available for use by those engaged in academic research on condition that any software released that incorporates FDR sources is restricted to academic and non-commercial research use.  Anyone interested in obtaining some or all of these sources under a licence expressing this restriction should email the above address.

From 1991 to 2008, FDR was a product of Formal Systems (Europe) Ltd.  Since that date, maintenance and the creation of new functionality has been the work of the author's group at Oxford University Computing Laboratory.  Commercial marketing and sales of FDR (including commerical leasing and maintenance) remain the responsibility of Formal Systems under licence from the University.





This site is presently under construction