Când revizuiesc protocoalele, încep prin a căuta teste invariante și documentație ca prim pas. Este cel mai rapid mod de a înțelege ce proprietăți contează și cum funcționează protocolul. Dacă nu găsesc invarianți documentați, știu să procedez cu prudență.