Verifikasi formal tetap menjadi jalan.