Program Doğrulama

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.

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.

Bilgisayar-taslak

İlgili konuları ara


Görüşler

Bu konuda henüz görüş yazılmamış.
Gürüş/yorum alanı gerekli.
Markdown kodları kullanılabilir.