The current state of proving programs correct
RL London - Proceedings of the ACM annual conference-Volume 1, 1972 - dl.acm.org
RL London
Proceedings of the ACM annual conference-Volume 1, 1972•dl.acm.orgPresented are successful efforts in proving that computer programs are correct. Included are
(i) the methods used,(ii) the wide class of programs (including systems programs) that have
been proved, and (iii) implemented computer systems for demonstrating correctness. There
is also a partially annotated bibliography.
(i) the methods used,(ii) the wide class of programs (including systems programs) that have
been proved, and (iii) implemented computer systems for demonstrating correctness. There
is also a partially annotated bibliography.
Presented are successful efforts in proving that computer programs are correct. Included are (i) the methods used, (ii) the wide class of programs (including systems programs) that have been proved, and (iii) implemented computer systems for demonstrating correctness. There is also a partially annotated bibliography.
ACM Digital Library