El debate acerca de la verificación formal de los programas

Abstract

En este trabajo nos concentramos en un análisis de los argrunentos presentados en (Fetzer:l988). Luego de la apasionada discusión que siguió a este articulo, Fetzer mantuvo sus opiniones, por ejemplo en el trabajo (Fetzer:l991). Si bien han aparecido criticas de los argrunentos de Fetzer- (por ejemplo Barwise: 1989), suelen seguir citándose estos trabajos (por ejemplo Eden:2007, o el curso de Tedre) para sostener la imposibilidad de la verificación formal o la insuficiencia. Esto último parece ser cierto, pero no por los argrunentos presentado por Fetzer sino por la dificultad de validar los modelos obtenidos a partir de especificaciones formales.