Saat meninjau protokol, saya mulai dengan mencari tes dan dokumentasi invarian sebagai langkah pertama. Ini adalah cara tercepat untuk memahami properti apa yang penting dan bagaimana protokol bekerja. Jika saya tidak menemukan invarian yang terdokumentasi, saya tahu untuk melanjutkan dengan hati-hati.