biçimsel doğrulama
-
Yazılım ve donanım sistemlerinin veya bunların soyut modellerinin, biçimsel bir belirtim dilinde verilmiş bir özelliği sağlayıp sağlamadığının matematiksel yöntemler kullanarak tanıtlanması.
İngilizce formal verificationFransızca vérification formelleAlmanca formale Verifikation; formale Verifizierung