Proving Programs to be Correct | IEEE Journals & Magazine | IEEE Xplore

Proving Programs to be Correct


Abstract:

This paper formally describes a technique for proving that computer programs will always execute correctly. In order to do this, an abstract model for a program and its e...Show More

Abstract:

This paper formally describes a technique for proving that computer programs will always execute correctly. In order to do this, an abstract model for a program and its execution is given. Then, correctness of programs and proofs of correctness of programs are defined with respect to that model.
Published in: IEEE Transactions on Computers ( Volume: C-20, Issue: 11, November 1971)
Page(s): 1331 - 1336
Date of Publication: 14 August 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.