- invariant de boucle anvariant boukl g.
-
informatique ◊ assertion qui est vraie durant toute l'exécution d'une boucleen loop invariant
- invariant de boucle anvariant tro g.
-
informatique ◊ assertion qui est vraie durant toute l'exécution d'une boucleen loop invariant