Síntesis deductiva de programas

Método de Floyd

Técnica pionera de verificación de programas que utiliza aserciones e invariantes para probar la corrección de programas estructurados, precursora de los métodos modernos.

← Volver