← Lab · Chapter 13: Correctness

The loop invariant

Advance one iteration at a time and watch what the invariant states at each moment.