Correctness and invariants

Concepts

• Loop invariant

  A statement about the variables of a loop that is true before each step. It is the main tool to prove that a loop is correct.

  intro