När jag går igenom protokoll börjar jag med att leta efter invarianta tester och dokumentation som första steg. Det är det snabbaste sättet att förstå vilka egenskaper som är viktiga och hur protokollet fungerar. Om jag inte hittar några dokumenterade invarianter vet jag att jag ska gå försiktigt fram.