0 prueba de correcciónUso de técnicas de lógica matemática para inferir que una relación entre las variables del programa asumidas como ciertas en la entrada del programa implica que otra relación entre las variables del programa se mantiene en la salida.2017-02-24