{"version":"1.0","provider_name":"","provider_url":"https:\/\/www.deberes.net\/tesis","author_name":"deberes","author_url":"https:\/\/www.deberes.net\/tesis\/author\/infouniversidad\/","title":"Rule-based software verification and correction","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"5POeDKanrN\"><a href=\"https:\/\/www.deberes.net\/tesis\/matematicas\/rule-based-software-verification-and-correction\/\">Rule-based software verification and correction<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.deberes.net\/tesis\/matematicas\/rule-based-software-verification-and-correction\/embed\/#?secret=5POeDKanrN\" width=\"600\" height=\"338\" title=\"\u00abRule-based software verification and correction\u00bb \u2014 \" data-secret=\"5POeDKanrN\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n<\/script>\n","description":"Rule-based software verification and correction tesis doctoral de Demis Ballis. Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodolog\u00edas formales para la verificaci\u00f3n. Tesis sobre Ciencia de los ordenadores, Dise\u00f1o y componentes de sistemas de informacion, Lenguajes de programacion, Matem\u00e1ticas, Polit\u00e9cnica de Valencia, Software, Teor\u00eda de la programacion"}