{"id":1193,"date":"2018-05-23T10:11:17","date_gmt":"2018-05-23T09:11:17","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?p=1193"},"modified":"2023-03-24T15:01:09","modified_gmt":"2023-03-24T14:01:09","slug":"abz_2018","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/","title":{"rendered":"International ABZ conference 2018"},"content":{"rendered":"<p><strong>International ABZ conference<\/strong><\/p>\n<p>Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5<sup>th<\/sup> to June 8<sup>th<\/sup>.<\/p>\n<p>Systerel is co-authoring the article \u00abOn the importance of explicit domain modeling in refinement-based modeling design experiments with Event-B\u00bb and will present a session titled \u00abModeling dynamic data structures with the B Method\u00bb describing the implementation of the B method for developing the Safe and Secure OPC solution, a secure implementation of the OPC-UA protocol.<\/p>\n<p>Systerel is a member of the program committee.<\/p>\n<p><em>The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA (Temporal Logic of Actions), VDM and Z.<\/em><\/p>\n<p><em>The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA (Temporal Logic of Actions), VDM and Z.<\/em><\/p>\n<a class=\"btn from-shortcode \" href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/07\/Modelling-Dynamic-Data-Structures-with-the-B.pdf\" target=\"_blank\"><i class=\"icon-img pdf\"><\/i>Download our publication<\/a>\n<a class=\"btn from-shortcode \" href=\"https:\/\/www.southampton.ac.uk\/abz2018\/participants\/programme.page\" target=\"_blank\">Conference program<\/a>\n<a class=\"btn from-shortcode \" href=\"#\" target=\"_blank\">Learn more about formal methods<\/a>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5th to June 8th.<\/p>\n","protected":false},"author":4,"featured_media":1197,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[11],"tags":[],"class_list":["post-1193","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-conferences_and_fairs"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>International ABZ conference 2018 - Systerel English<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"International ABZ conference 2018 - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5th to June 8th.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2018-05-23T09:11:17+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-24T14:01:09+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"florencecassar\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"florencecassar\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/\"},\"author\":{\"name\":\"florencecassar\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"headline\":\"International ABZ conference 2018\",\"datePublished\":\"2018-05-23T09:11:17+00:00\",\"dateModified\":\"2023-03-24T14:01:09+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/\"},\"wordCount\":216,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/05\\\/ABZ_590_393.png\",\"articleSection\":[\"Conferences and fairs\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/\",\"name\":\"International ABZ conference 2018 - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/05\\\/ABZ_590_393.png\",\"datePublished\":\"2018-05-23T09:11:17+00:00\",\"dateModified\":\"2023-03-24T14:01:09+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/05\\\/ABZ_590_393.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2018\\\/05\\\/ABZ_590_393.png\",\"width\":590,\"height\":393,\"caption\":\"International ABZ conference 2018\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/abz_2018\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"International ABZ conference 2018\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\",\"name\":\"florencecassar\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"caption\":\"florencecassar\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/florencecassar\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"International ABZ conference 2018 - Systerel English","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/","og_locale":"en_US","og_type":"article","og_title":"International ABZ conference 2018 - Systerel English","og_description":"Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5th to June 8th.","og_url":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/","og_site_name":"Systerel English","article_published_time":"2018-05-23T09:11:17+00:00","article_modified_time":"2023-03-24T14:01:09+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png","type":"image\/png"}],"author":"florencecassar","twitter_misc":{"Written by":"florencecassar","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/"},"author":{"name":"florencecassar","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"headline":"International ABZ conference 2018","datePublished":"2018-05-23T09:11:17+00:00","dateModified":"2023-03-24T14:01:09+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/"},"wordCount":216,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png","articleSection":["Conferences and fairs"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/","url":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/","name":"International ABZ conference 2018 - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png","datePublished":"2018-05-23T09:11:17+00:00","dateModified":"2023-03-24T14:01:09+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/abz_2018\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2018\/05\/ABZ_590_393.png","width":590,"height":393,"caption":"International ABZ conference 2018"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/abz_2018\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"International ABZ conference 2018"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a","name":"florencecassar","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","caption":"florencecassar"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/florencecassar\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1193","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=1193"}],"version-history":[{"count":6,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1193\/revisions"}],"predecessor-version":[{"id":1239,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/1193\/revisions\/1239"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/1197"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=1193"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=1193"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=1193"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}