Une culture de la preuve

On ne croit pas. On vérifie.

95

vérifications automatiques, rejouées à chaque changement du moteur.

Le réel

comparé au plan, sans rien modifier, avant toute intervention.

Chaque garde est mise à l’épreuve : on casse exprès, elle doit le voir.

Set-OPS · Rencontres Linux du Québec 2026

12