Proving That A Procedure Does What You Claim It Does

• Proving that a procedure is correct is called procedure verification.

• Two types of verification:
  • Informal: primarily through testing (empirical)

  • Formal: through mathematical proofs of correctness (a priori)