Fallos informáticos y verificación de programas
Una de las principales aplicaciones del razonamiento automático consiste en la verificación de programas. Por ello, en el comienzo de los cursos de razonamiento automático se suele comentar algunos de los fallos informáticos más famosos.
Una referencia básica sobre fallos informáticos es el libro de Ivars Peterson Error fatal: a la caza de fallos informáticos (publicado por Alianza Editorial en 1999) en el que se comenta algunos errores de programación que tuvieron funestas consecuencias y presenta a alguna de las personas que se dedican a «cazar» estos fallos antes de que provoquen desgracias irreparables.
Otras recopilaciones más recientes de fallos informáticos son las siguientes:
- Why is formal methods necessary? en la que el grupo de métodos formales de la NASA comenta algunos recientes fallos informáticos con grandes pérdidas económicas y vitales.
- Software horror stories en la que Nachum Dershowitz ha recopilado 107 casos de importantes fallos informáticos.
- Illustrative risks to the public in the use of computer systems and related technology en la que Peter G. Neumann va recopilando fallos publicados en el The risks digest (Forum on risks to the public in computers and related systems). La recopilación se va actualizando frecuentemente (la última es del 17 de diciembre de 2013) y el foro publica boletines periódicos (el último boletín es del 26 de diciembre de 2013).