{"id":3971,"date":"2013-12-29T07:16:21","date_gmt":"2013-12-29T06:16:21","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=3971"},"modified":"2013-12-29T07:22:04","modified_gmt":"2013-12-29T06:22:04","slug":"fallos-informaticos-y-verificacion-de-programas","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/fallos-informaticos-y-verificacion-de-programas\/","title":{"rendered":"Fallos inform\u00e1ticos y verificaci\u00f3n de programas"},"content":{"rendered":"<p>Una de las principales aplicaciones del razonamiento autom\u00e1tico consiste en la verificaci\u00f3n de programas. Por ello, en el comienzo de los cursos de razonamiento autom\u00e1tico se suele comentar algunos de los fallos inform\u00e1ticos m\u00e1s famosos. <\/p>\n<p>Una referencia b\u00e1sica sobre fallos inform\u00e1ticos es el libro de Ivars Peterson <a href=\"http:\/\/dialnet.unirioja.es\/servlet\/libro?codigo=125237\">Error fatal: a la caza de fallos inform\u00e1ticos<\/a> (publicado por Alianza Editorial en 1999) en el que se comenta algunos errores de programaci\u00f3n que tuvieron funestas consecuencias y presenta a alguna de las personas que se dedican a \u00abcazar\u00bb estos fallos antes de que provoquen desgracias irreparables.<\/p>\n<p>Otras recopilaciones m\u00e1s recientes de fallos inform\u00e1ticos son las siguientes:<\/p>\n<ul>\n<li><a href=\"http:\/\/shemesh.larc.nasa.gov\/fm\/fm-why-new.html\">Why is formal methods necessary?<\/a> en la que el grupo de m\u00e9todos formales de la NASA comenta algunos recientes fallos inform\u00e1ticos con grandes p\u00e9rdidas econ\u00f3micas y vitales.\n<li><a href=\"http:\/\/www.cs.tau.ac.il\/~nachumd\/horror.html\">Software horror stories<\/a> en la que Nachum Dershowitz ha recopilado 107 casos de importantes fallos inform\u00e1ticos.\n<li><a href=\"http:\/\/www.csl.sri.com\/users\/neumann\/illustrativerisks.html\">Illustrative risks to the public in the use of computer systems and related technology<\/a> en la que Peter G. Neumann va recopilando fallos publicados en el <a href=\"http:\/\/catless.ncl.ac.uk\/Risks\/\">The risks digest (Forum on risks to the public in computers and related systems)<\/a>. La recopilaci\u00f3n se va actualizando frecuentemente (la \u00faltima es del 17 de diciembre de 2013) y el foro publica boletines peri\u00f3dicos (el <a href=\"http:\/\/catless.ncl.ac.uk\/Risks\/27.66.html\">\u00faltimo bolet\u00edn<\/a> es del 26 de diciembre de 2013).\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Una de las principales aplicaciones del razonamiento autom\u00e1tico consiste en la verificaci\u00f3n de programas. Por ello, en el comienzo de los cursos de razonamiento autom\u00e1tico se suele comentar algunos de los fallos inform\u00e1ticos m\u00e1s famosos. Una referencia b\u00e1sica sobre fallos inform\u00e1ticos es el libro de Ivars Peterson Error fatal: a la caza de fallos inform\u00e1ticos&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[14],"tags":[275],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3971"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=3971"}],"version-history":[{"count":5,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3971\/revisions"}],"predecessor-version":[{"id":3976,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/3971\/revisions\/3976"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=3971"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=3971"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=3971"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}