Questions et réponses pour le invariants :

En informatique, un prédicat est appelé invariant à une séquence d'opérations à condition que: Si le prédicat est vrai avant de commencer la séquence, il est vrai à la fin de la séquence.