Przeglądając protokoły, zaczynam od szukania testów niezmienników i dokumentacji jako pierwszego kroku. To najszybszy sposób, aby zrozumieć, jakie właściwości są istotne i jak działa protokół. Jeśli nie znajdę żadnych udokumentowanych niezmienników, wiem, że muszę postępować ostrożnie.