prédicat
Définition
Assertion contrôlant le déroulement d'un programme. Une instruction correcte pour effectuer une tâche donnée respecte les prédicats spécifiés en sortie pour toutes les valeurs possibles des prédicats reçus en entrée. Voir invariant.
