Formal methods are an innovative technology used in the development of safety-critical software. The term “formal methods” refers to various mathematical techniques used for the formal specification and development of software. They consist of a formal specification language and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification. They allow questions to be asked about what the system does independently of its implementation. The use of formal methods leads to increased confidence in the correctness of the software.
- Brown MJD (1990) Rationale for the development of the UK defence standards for safety critical computer software. Proc. COMPASS ‘90, Washington DC, USA, June 1990Google Scholar