При огляді протоколів я починаю з пошуку інваріантних тестів і документації як першого кроку. Це найшвидший спосіб зрозуміти, які властивості мають значення і як працює протокол. Якщо я не знаходжу жодних задокументованих інваріантів, я знаю, що потрібно діяти обережно.