Utilité des invariants
Fondamental : Utilité des invariants
Les invariants sont généralement utilisé pour prouver la correction d'une boucle et/ou d'un algorithme
Définition : Correction
La correction est la propriété qu'a un algorithme de faire ce qu'il dit qu'il fait.