• Main proof rules (PDF)
  • Program proving example - sequential rule (PDF)
  • Program proving example - if rule (PDF)
  • Program proving example - while rule (PDF)
  • Loop invariants (PDF)
  • Fibonacci program proof (PDF)
  • GCD program proof (PDF)
  • Sets, etc. (PDF)