Bei der Überprüfung von Protokollen beginne ich damit, nach invarianten Tests und Dokumentationen zu suchen. Es ist der schnellste Weg, um zu verstehen, welche Eigenschaften wichtig sind und wie das Protokoll funktioniert. Wenn ich keine dokumentierten Invarianten finde, weiß ich, dass ich vorsichtig vorgehen muss.