{"id":18154,"date":"2022-01-18T19:00:18","date_gmt":"2022-01-18T17:00:18","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=18154"},"modified":"2022-01-18T19:01:18","modified_gmt":"2022-01-18T17:01:18","slug":"the-new-formal-tool-atelier-b-4-7-is-available","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/","title":{"rendered":"The new formal tool Atelier B 4.7 is available."},"content":{"rendered":"<p>Atelier B 4.7.1 is available in a Community Edition (https:\/\/www.atelierb.eu\/en\/atelier-b-support-maintenance\/download-atelier-b\/) and in a Maintenance Edition for owners of a maintenance contract.<\/p>\n<p>The main innovations consist in:<\/p>\n<ul>\n<li>the addition of an extensible mechanism allowing the integration without recompilation of external mathematical provers (CVC4 and Z3 by default), in order to improve the automatic proof performances. This version is used industrially by Alstom, RATP and Siemens Transportation Systems.<\/li>\n<li>the improved support for Event B language for Common Criteria certification (https:\/\/www.atelierb.eu\/en\/atelier-b-4-6-for-eal6\/)<\/li>\n<\/ul>\n<p>The changes planned for 2022 and 2023 concern:<\/p>\n<ul>\n<li>security work to comply with EN50128 T2 certification<\/li>\n<li>improvement of automatic and interactive proof, by integrating the results of the collaborative R&amp;D projects BLaSST (https:\/\/www.clearsy.com\/en\/research-and-development\/blasst\/) and ICSPA (https:\/\/www.clearsy.com\/en\/research-and-development\/icspa\/).<\/li>\n<li>an even better support of Event B for Common Criteria certification<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Atelier B 4.7.1 is available in a Community Edition (https:\/\/www.atelierb.eu\/en\/atelier-b-support-maintenance\/download-atelier-b\/) and in a Maintenance Edition for owners of a maintenance [&hellip;]<\/p>\n","protected":false},"author":18,"featured_media":18152,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1541,1533,686],"tags":[],"class_list":["post-18154","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-computer-science","category-rd","category-the-tools"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>The new formal tool Atelier B 4.7 is available. - CLEARSY<\/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.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"The new formal tool Atelier B 4.7 is available. - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"Atelier B 4.7.1 is available in a Community Edition (https:\/\/www.atelierb.eu\/en\/atelier-b-support-maintenance\/download-atelier-b\/) and in a Maintenance Edition for owners of a maintenance [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2022-01-18T17:00:18+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2022-01-18T17:01:18+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"850\" \/>\n\t<meta property=\"og:image:height\" content=\"325\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"CLEARSY\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"CLEARSY\" \/>\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.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\"},\"author\":{\"name\":\"CLEARSY\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1\"},\"headline\":\"The new formal tool Atelier B 4.7 is available.\",\"datePublished\":\"2022-01-18T17:00:18+00:00\",\"dateModified\":\"2022-01-18T17:01:18+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\"},\"wordCount\":157,\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg\",\"articleSection\":[\"Computer science\",\"R&amp;D\",\"Tools\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\",\"url\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\",\"name\":\"The new formal tool Atelier B 4.7 is available. - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg\",\"datePublished\":\"2022-01-18T17:00:18+00:00\",\"dateModified\":\"2022-01-18T17:01:18+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg\",\"width\":850,\"height\":325},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.clearsy.com\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"The new formal tool Atelier B 4.7 is available.\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#website\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.clearsy.com\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\/\/www.clearsy.com\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"contentUrl\":\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1\",\"name\":\"CLEARSY\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g\",\"caption\":\"CLEARSY\"},\"url\":\"https:\/\/www.clearsy.com\/en\/author\/tservat\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"The new formal tool Atelier B 4.7 is available. - CLEARSY","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.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/","og_locale":"en_US","og_type":"article","og_title":"The new formal tool Atelier B 4.7 is available. - CLEARSY","og_description":"Atelier B 4.7.1 is available in a Community Edition (https:\/\/www.atelierb.eu\/en\/atelier-b-support-maintenance\/download-atelier-b\/) and in a Maintenance Edition for owners of a maintenance [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/","og_site_name":"CLEARSY","article_published_time":"2022-01-18T17:00:18+00:00","article_modified_time":"2022-01-18T17:01:18+00:00","og_image":[{"width":850,"height":325,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg","type":"image\/jpeg"}],"author":"CLEARSY","twitter_card":"summary_large_image","twitter_misc":{"Written by":"CLEARSY","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/"},"author":{"name":"CLEARSY","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1"},"headline":"The new formal tool Atelier B 4.7 is available.","datePublished":"2022-01-18T17:00:18+00:00","dateModified":"2022-01-18T17:01:18+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/"},"wordCount":157,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg","articleSection":["Computer science","R&amp;D","Tools"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/","url":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/","name":"The new formal tool Atelier B 4.7 is available. - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg","datePublished":"2022-01-18T17:00:18+00:00","dateModified":"2022-01-18T17:01:18+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2022\/01\/ATB-4.7-US-web.jpeg","width":850,"height":325},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/the-new-formal-tool-atelier-b-4-7-is-available\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"The new formal tool Atelier B 4.7 is available."}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/9d903d1fb83dcfaa789ccff2972d95a1","name":"CLEARSY","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2927c9bde37c5967f4cfe8693c9e559f9258c2cbb554ae8b4d0fbded066afc2f?s=96&d=mm&r=g","caption":"CLEARSY"},"url":"https:\/\/www.clearsy.com\/en\/author\/tservat\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/18154","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=18154"}],"version-history":[{"count":2,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/18154\/revisions"}],"predecessor-version":[{"id":18156,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/18154\/revisions\/18156"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/18152"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=18154"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=18154"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=18154"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}