Lorsque j'examine des protocoles, je commence par rechercher des tests invariants et de la documentation comme première étape. C'est le moyen le plus rapide de comprendre quelles propriétés sont importantes et comment le protocole fonctionne. Si je ne trouve pas d'invariants documentés, je sais que je dois procéder avec prudence.