Advertisement

Program Correctness

  • Raymond Turner
Chapter

Abstract

The mathematical notion of correctness links the symbolic program with its specification, where correctness involves the construction of a proof that the program meets its specification. In this chapter, our aim is to assess the nature of such proofs.

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