Program doğrulama: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
kDeğişiklik özeti yok |
|||
1. satır:
{{Eksik}}
{{Kaynaksız}}
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-taslak}}
| |||