biçimsel doğrulama ne demek?

Teknoloji dünyasında biçimsel doğrulama ne anlama gelir? biçimsel doğrulama kelimesinin sözlük anlamı, biçimsel doğrulama ne anlama geliyor?

biçimsel doğrulama kelimesinin anlamı:

Almanca: formale Verifikation formale Verifizierung
Fransızca: vérification formelle
İngilizce: formal verification  

Bilişim Dünyasındaki Anlamı:  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ı.

biçimsel doğrulama kelimesi 18 harften oluşmaktadır.

biçimsel doğrulama kelimesi tersten amalurğod lesmiçib olarak yazılır.