{"version":"1.0","provider_name":"Systerel English","provider_url":"https:\/\/www.systerel.fr\/en","author_name":"coralie","author_url":"https:\/\/www.systerel.fr\/en\/news\/author\/coralie\/","title":"Ada SPARK Internal Webinarator Site titlPrimary categorye","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"RF5haM08MR\"><a href=\"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/\">Ada SPARK Internal Webinar<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.systerel.fr\/en\/news\/ada-spark-internal-webinar\/embed\/#?secret=RF5haM08MR\" width=\"600\" height=\"338\" title=\"&#8220;Ada SPARK Internal Webinar&#8221; &#8212; Systerel English\" data-secret=\"RF5haM08MR\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script type=\"text\/javascript\">\n\/* <![CDATA[ *\/\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\/\/# sourceURL=https:\/\/www.systerel.fr\/en\/wp-includes\/js\/wp-embed.min.js\n\/* ]]> *\/\n<\/script>\n","thumbnail_url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/06\/about-header_590_393.png","thumbnail_width":1180,"thumbnail_height":786,"description":"Today, our engineers are attending (have attended) a new webinar organised by our technical management! The topic of this webinar? Ada SPARK.This technology allows to make formal verifications of Ada code and is used on certain projects within Systerel. Its main advantages => Its application to a critical subset without separating it from the rest of the project, and the complementarity of formal methods with traditional tests. Our technical management offers regular webinars to encourage the development of skills and access to new techniques or methods. If you wish to join us, please click here => lien offres"}