Advertisement

Formal Methods

  • Gerard O’Regan
Chapter

Abstract

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.

References

  1. 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
  2. Hinchey M, Bowen J (eds) (1995) Applications of formal methods, Prentice Hall international series in computer science. Prentice Hall, London/New YorkzbMATHGoogle Scholar
  3. O’Regan G (2017b) Concise guide to formal methods. Springer, ChamCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Gerard O’Regan
    • 1
  1. 1.SQC ConsultingMallowIreland

Personalised recommendations