Module 07 · Concevoir la preuve · 35 min

Exercice : un veto qu'une moyenne cache

Le pilote d'AdvisorBrief obtient 0,94 pour un seuil de 0,90, et il passe. Puis quelqu'un relit les sorties. Refaites l'acceptation pour que les mêmes résultats disent la vérité.