Computer science
Korrektheit (Informatik)