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 formelle, fAlmanca formale Verifikation; formale Verifizierung