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