partial correctness 0 corrección parcial, exactitud parcial En las pruebas de corrección, es la indicación de que la aserción de salida de un programa es el resultado de su entrada y los distintos pasos del procedimiento. 1997-03-09 proof of correctnessprueba de corrección