Program doğrulama
 | Bu maddede Hata: Eksik olan bilgileri belirtmelisiniz. konusunun eksik olduğu düşünülmektedir. (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |
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.
 | Yazılım ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |