DocumentCode
1106847
Title
Proving Programs to be Correct
Author
King, James C.
Issue
11
fYear
1971
Firstpage
1331
Lastpage
1336
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.
Keywords
Abstract programs, debugging, program correctness, program execution model, state vector, theory of programming.; Computational modeling; Computer aided instruction; Debugging; Testing; Abstract programs, debugging, program correctness, program execution model, state vector, theory of programming.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/T-C.1971.223135
Filename
1671728
Link To Document