Une RDCU doit mettre en évidence la satisfaction des postconditions

[fuhrmanator]

Dans les exercices et les exemples de RDCU, il faut mettre en évidence où les postconditions du contrat d'opération ont été satisfaites. Beaucoup de solutions proposées par la communauté étudiante dans les exercices ou les questions d'examen négligent cet aspect. La correction d'une RDCU est difficile lorsqu'il n'est pas claire où une postcondition est satisfaite.