Vous ne pouvez pas unit tester un protocole distribué, mais vous pouvez le model checker
Les bugs distribués sont coûteux à corriger après déploiement. Le model checking vous permet de les trouver avant d'écrire une seule ligne de code d'implémentation. Voici comment faire avec TLA+.
