postcondition

Nom

• Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
• En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.