Question 1-7
Distinguish proofs of total correctness against proofs of
partial correctness.
Solution
A proof of total correctness includes arguments that the program
terminates. A partial-correctness proof may omit
this fact - it proves that if the program terminates,
then it reaches its conclusion correctly.
Back to Review for Quiz 1