Melakukan analisis formal yang mendalam terhadap perilaku sistem dari waktu ke waktu. Memeriksa jaminan keamanan dan kelangsungan hidup, terutama seputar Penandaan Veto, Keluar Marah, dan transisi timelock.

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.