correctness 0 corrección, exactitud Software libre de defectos de diseño y codificación, que es conforme a sus requisitos. 1996-12-06 correctness proofprueba de corrección specification analysisanálisis de especificaciones