total correctness 0 corrección total, exactitud total En las pruebas de corrección es la indicación de que un programa termina bajo todas las condiciones de entrada especificadas. 1997-11-29 proof of correctnessprueba de corrección