termination proof 0 prueba de terminación Durante las pruebas de un programa, es la demostración de que el programa termina bajo todas las especificaciones de entrada establecidas. 1997-11-29