Programın Doğruluğu
Bir bilgisayar programının şartnamesine uygun çalışıyor olması; örneğin kendisinden beklenen işlevsel giriş-çıkış davranışına sahip olması.
Diğer terimler: stomodaeum, Programm-Korrektheit, f, program correctness, validité des programmes, f, Aphis urticata