correctness proof 0 prueba de corrección Técnica formal para probar matemáticamente que un programa satisface sus especificaciones. 1996-12-06 correctnesscorrección, exactitud formal specificationespecificación formal