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 1 corrección Propiedad de un elemento o sistema que cumple con el objetivo de seguridad establecido. 1996-12-06 source integrityintegridad de la fuente specification analysisanálisis de especificaciones