conferenceObject
El debate acerca de la verificación formal de los programas
Autor
Blanco, Javier
García, Pío
Institución
Resumen
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.