El debate acerca de la verificación formal de los programas
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 ej...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Penélope Lodeyro
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3429 |
| Aporte de: |
| Sumario: | 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. |
|---|