Introducing Formal Methods into Industry using Cleanroom and CSP

In this paper, we present an overview of our observations and experiences of applying formal methods in an industrial setting and incorporating them into a practical software development process. This work has developed from an ongoing collaboration between the two authors coming from opposite ends of the spectrum and sharing a mutual interest in bridging the gap between academic research in formal methods and their current lack of use in the software industry. We explore a number of observations as to why, despite their need in industry and their strong presence in academia, formal methods are not widely exploited in practice. The problem we are interested in is the use of formal methods to develop software systems of a businesscritical and untestable nature, where the software forms an essential part of some core product or service