Program doğrulama

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

Bilgisayar bilimlerinde, program doğrulama, verilen bir programın belli bir önkoşul ve sonkoşula göre doğru olup olmadığının matematiksel yöntemler kullanılarak kanıtlanmasıdır.