Advertisement

Formal Methods

  • Raymond Turner
Chapter

Abstract

Formal methods employ mathematical models to design software and hardware systems, and they employ mathematical proofs in an attempt to guarantee correctness.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations