Conference paper
Tutorial session 3B: Prospects for program verification
James C. King
ICSE 1978
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. Copyright © 1971 by The Institute of Electrical and Electronics Engineers, Inc.
James C. King
ICSE 1978
James C. King
ACM SIGPLAN Notices
James C. King
CACM
Sidney L. Hantler, James C. King
ACM Computing Surveys (CSUR)