El caso contra la verificación formal, 50 años después
The Case Against Formal Verification, 50 Years Later
La verificación formal está ganando popularidad gracias a la IA, pero un artículo de 1979 argumentaba que estaba condenada al fracaso. Este análisis revisa esos argumentos a la luz de los avances actuales, como los agentes de codificación y los verificadores automáticos, y concluye que, aunque la verificación total no es una panacea, sus herramientas son valiosas para la especificación y la confianza en el software.
Creemos que la verificación de programas está destinada a fracasar; no vemos cómo pueda afectar la confianza de nadie sobre los programas.