When I said "correctness", I meant that the software performed its intended function, not that the software correctly met a standard. Sorry for the confusion (

When I said "correctness", I meant that the software performed its intended function, not that the software correctly met a standard. Sorry for the confusion (I'm assuming you don't disagree with wanting software that's correct for this definition).