Verifying programs by algebraic and logical reduction

• 1 January 1975
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 10  (6) , 473-481
• https://doi.org/10.1145/800027.808471

Abstract

Keywords

• ASSERTION LANGUAGE
• AUTOMATIC VERIFICATION
• PROGRAM CORRECTNESS
• SIMPLIFICATION
• SORTING PROGRAMS
• THEOREM PROVING