[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Program Proofs

• Program proof process:
  • The postcondition for the whole program is the desired results
  • Work back through the program to the first statement
  • If the precondition on the first statement is the same as the program spec, the program is correct