formal verification

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

   Almanca formale Verifikation; formale Verifizierung