{"id":119,"date":"2010-01-17T09:34:29","date_gmt":"2010-01-17T09:34:29","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=119"},"modified":"2013-03-08T05:53:48","modified_gmt":"2013-03-08T05:53:48","slug":"congreso-verify-2010-6th-international-verification-workshop","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/congreso-verify-2010-6th-international-verification-workshop\/","title":{"rendered":"Congreso Verify 2010: 6th International Verification Workshop"},"content":{"rendered":"<p><a href=\"http:\/\/www-ags.dfki.uni-sb.de\/verification-ws\/index.html\">VERIFY (The Verification Workshop<\/a> es una serie de congresos cuyo principal objetivo es discutir los problemas que aparecen en desarrollo de las formalizaciones de sistemas durante su verificaci\u00f3n formal. El lema del congreso es <i>What are the verification problems? What are the deduction techniques?<\/i>. <\/p>\n<p>Entre los temas del congreso se encuentran: <\/p>\n<ol>\n<li> T\u00e9cnicas de ATP en verificaci\u00f3n.\n<li> Casos de estudio (especificaci\u00f3n y verificaci\u00f3n)\n<li> Razonamiento composicional y modular.\n<li> Refinamiento y descomposici\u00f3n.\n<li> Reutilizaci\u00f3n de especificaciones y demostraciones.\n<\/ol>\n<p>El <a href=\"http:\/\/www.mais.informatik.tu-darmstadt.de\/verify2010\/\">VERIFY 2010<\/a> se celebra el 20 de Julio en Edimburgo. La fecha de env\u00edo de art\u00edculos finaliza el 22 de Marzo. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>VERIFY (The Verification Workshop es una serie de congresos cuyo principal objetivo es discutir los problemas que aparecen en desarrollo de las formalizaciones de sistemas durante su verificaci\u00f3n formal. El lema del congreso es What are the verification problems? What are the deduction techniques?. Entre los temas del congreso se encuentran: T\u00e9cnicas de ATP en&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","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":[164],"tags":[42,28],"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\/119"}],"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=119"}],"version-history":[{"count":7,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/119\/revisions"}],"predecessor-version":[{"id":3085,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/119\/revisions\/3085"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=119"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=119"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=119"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}