Formal Systems (Europe) Ltd

We produce the FDR refinement checker, an advanced verification tool for Communicating Sequential Processes (CSP).

FDR3 is a refinement checker for the CSP process algebra produced by the University of Oxford. It is capable of verifying complex properties of systems expressed in CSP, including various safety and liveness properties. FDR has previously been used to verify communications protocols, real-time processors, avionics systems, and complex embedded software systems

View details »


Formal Systems (Europe) Limited was founded in 1989 by Computer Scientists from the Department of Computer Science at the University of Oxford. Today, Formal Systems makes the FDR refinement checker available commercially in collaboration with researchers from the University of Oxford.