İng. Formal Verification
Kriptografik algoritmaların ve Blokzinciri mekanizmalarının belirli özelliklerini sağlamak için matematiksel olarak kesin kanıtlar kullanmak.