proof of partial correctness - Inglés Sinónimo Diccionario