Symbolic interpretation and tracing of PASCAL-programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An approach to software reliability prediction and quality control
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Computation of equilibriain noncooperative games
Computers & Mathematics with Applications
Survey: A survey of state vectors
Computer Science Review
| Hi-index | 14.98 |
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.