An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Security Kernel validation in practice
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
A verified program-verifier.
Structured programming
Hi-index | 0.00 |
An introduction is given to the fundamental issues of proving properties of computer programs. No attempt is made to provide an exhaustive survey, but rather to convey enough of the basic concepts and techniques of proving programs so that the interested reader can pursue specific interests on his own. Three fundamental aspects of program proving are described. The first is a general view of basic goals and objectives. The second is an introduction to the basic techniques of proving programs by inductive assertions. The third addresses applying these techniques in practice.