formal verification [İngilizce]

biçimsel doğrulama

1. • bilişim
   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 verification

   Fransızca vérification formelle, f

   Almanca formale Verifikation; formale Verifizierung