About Us

Formal Systems is a consultancy firm specialising in the industrial application of formal methods to the specification and development of program code, computer hardware and parallel computer technology.

We are able to draw upon the abilities of some world-class experts in the fields of Z and CSP, while our technical staff have significant experience in the analysis of real-world systems. As our published papers make clear, we can apply a pragmatic and innovative approach to those problems currently beyond the scope of a fully formal approach.

Our wide range of former clients includes agencies of both the US and UK governments as well as organisations in the semiconductor, information technology, aerospace, defence and security fields.

E-mail: enquiries@fsel.com

Why (Europe) ?

Formal Systems Design and Development Inc of Auburn, Alabama was founded in 1986 by a group of mathematicians and computer scientists from a number of universities in the USA.

Formal Systems (Europe) Limited of Oxford, England is the European sister company. It was formed in 1989 by computer scientists from the Oxford University Computing Laboratory along with some of the original founders of the US company. The two companies are now independent entities.