Program doğrulama
Bu maddede Hata: Eksik olan bilgileri belirtmelisiniz. eksik olduğu düşünülmektedir.
Bu madde hiçbir kaynak içermemektedir. (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.|