Mike Reed
Oxford University
gmr@comlab.ox.ac.uk
Abstract
Formal Systems (Europe) Ltd is a software company, which was founded over a decade ago to develop practical applications of fundamental research in software engineering at Oxford University. The company has used CSP and Z modelling, its FDR model-checker, and new theoretical results in computer security and data independence to create a successful business, whose customers include blue-chip cooperations and government agencies in Europe and the US.
In this paper, the author, who is a co-founder of the company, presents a brief history of the company's experiences as a case study of the research- to-practice problem. He concludes with a strategy for automated formal support for component-based security systems.
Last Updated: 23 March, 2000 by Elisabetta Ferrando