La pérdida de una hora por fallo de un programa resulta irritante; en aplicaciones críticas--redes telefónicas, centrales nucleares, sistemas de guiado de misiles--los errores provocan auténticas catástrofes. Dado que ni siquiera la mejor demostración permite establecer la medida de su falibilidad, es preciso restringir el uso de ordenadores cuando haya de primar la seguridad