← Laboratorio · Capitolo 13: Correttezza

L'invariante di ciclo

Avanza di una iterazione alla volta e osserva che cosa afferma l'invariante in ogni momento.