Při kontrole protokolů začínám tím, že jako první krok hledám invariantní testy a dokumentaci. Je to nejrychlejší způsob, jak pochopit, na jakých vlastnostech záleží a jak protokol funguje. Pokud nenajdu žádné zdokumentované invarianty, vím, že mám postupovat opatrně.