Program doğrulama

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

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.