{"id":81,"date":"2011-09-06T13:42:48","date_gmt":"2011-09-06T12:42:48","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=81"},"modified":"2020-05-12T11:37:10","modified_gmt":"2020-05-12T10:37:10","slug":"atelier-de-genie-logiciel-permettant-de-developper-des-logiciels-prouves-sans-defaut","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/atelier-de-genie-logiciel-permettant-de-developper-des-logiciels-prouves-sans-defaut\/","title":{"rendered":"Atelier de g\u00e9nie logiciel permettant de d\u00e9velopper des logiciels prouv\u00e9s sans d\u00e9faut"},"content":{"rendered":"[vc_row full_width=”stretch_row” el_id=”entete-bcg2″ css=”.vc_custom_1468830983812{padding-top: 150px !important;padding-bottom: 150px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-accueil.jpg?id=2266) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_column_text]\n

THE INDUSTRIAL TOOL<\/strong>
\nTO EFFICIENTLY DEPLOY
\nTHE B METHOD<\/h1>\n[\/vc_column_text][st_button st_template=”layout5″ size=”regular” margin_top=”10″ button_align=”left” icon_type=”fontawesome” title=”SEE MORE +” link=”url:https%3A%2F%2Fwww.atelierb.eu%2Fen%2Fatelier-b-tools%2F|||”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content” css=”.vc_custom_1468834340025{background-color: #eb690b !important;}”][vc_column width=”1\/3″ css=”.vc_custom_1467037672337{padding-top: 75px !important;padding-right: 55px !important;padding-bottom: 75px !important;padding-left: 75px !important;}”][st_customheading heading=”Why use Atelier B 4.0 ?” heading_color=”#ffffff” content_align=”text-left”][vc_column_text css=”.vc_custom_1469536844867{margin-bottom: 25px !important;}”]\n

You can :
\n> Free Download<\/a>
\n> New Distribution Policy.<\/a>
\n> New maintenance contract<\/a>.<\/p>\n[\/vc_column_text][st_button st_template=”layout1″ size=”large” button_align=”text-default” class=”link-definition” icon_type=”fontawesome” title=”SEE MORE +” link=”url:https%3A%2F%2Fwww.atelierb.eu%2Fen%2Fatelier-b-tools%2F|||”][\/vc_column][vc_column width=”2\/3″ el_class=”slider-art” css=”.vc_custom_1469455081318{background-color: #ffffff !important;}”][vc_basic_grid post_type=”post” max_items=”3″ style=”pagination” items_per_page=”1″ element_width=”12″ gap=”0″ arrows_design=”vc_arrow-icon-arrow_05_left” arrows_position=”outside” arrows_color=”black” paging_design=”none” loop=”yes” grid_id=”vc_gid:1589279806013-44130eb7-b189-4″ taxonomies=”1″ el_class=”gal-home” css=”.vc_custom_1468847091679{background-color: #f7f7f7 !important;}”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1467020277554{padding-top: 45px !important;padding-bottom: 45px !important;background-color: #f7f7f7 !important;}”][vc_column width=”1\/2″][vc_gallery type=”nivo” interval=”3″ images=”3489,3492″ img_size=”full” onclick=””][\/vc_column][vc_column width=”1\/2″ css=”.vc_custom_1468836037052{padding-top: 45px !important;padding-right: 15px !important;padding-bottom: 15px !important;padding-left: 15px !important;}” el_class=”pres-atelier-b”][st_customheading heading=”ATELIER B PRESENTATION” heading_color=”#eb690b” content_align=”text-left”][vc_column_text]Developed by ClearSy, Atelier B is an industrial tool that allows for the operational use of the B Method to develop defect-free proven software (formal software). It is available in 2 versions :<\/span>
\n1- Community Edition available to anyone without any restriction,<\/strong>
\n2- Maintenance Edition for maintenance contract holders only.<\/strong>
\nIt is used to develop safety automatisms for the various subways installed throughout the world by Alstom and Siemens, and also for Common Criteria certification and the development of system models by ATMEL and STMicroelectronics.
\nAdditionally, it has been used in a number of other sectors, such as the automotive industry, to model operational principles for the onboard electronics of three car models. Atelier B is also used in the aeronautics and aerospace sectors.[\/vc_column_text][st_button st_template=”ocustom” button_custom_color=”#fabb00″ size=”large” margin_top=”10″ button_align=”text-default” class=”link-definition” icon_type=”fontawesome” title=”SEE MORE +” link=”url:https%3A%2F%2Fwww.atelierb.eu%2Fen%2Fatelier-b-tools%2F|||” button_custom_text_color=”#ec690b”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content”][vc_column width=”1\/12″ css=”.vc_custom_1468843078722{background-color: #fabb00 !important;}” offset=”vc_hidden-xs”][vc_empty_space height=”310″][\/vc_column][vc_column width=”5\/12″ css=”.vc_custom_1469092143053{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #fabb00 !important;}”][st_customheading heading=”R&D PROJECTS \/ Open Source” heading_color=”#4d4f5b” content_align=”text-default”][vc_column_text]\"picto-9\"<\/a><\/p>\n

Visit our links to download :
\n> M\u00c9THODE B<\/a>
\n> ELECTRONIC SYSTEMS
\n> COMPUTING SYSTEMS<\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”5\/12″ css=”.vc_custom_1469092157917{padding-top: 55px !important;padding-right: 10px !important;padding-bottom: 55px !important;padding-left: 35px !important;background-color: #eb690b !important;}”][st_customheading heading=”CUSTOMER ACCESS” heading_color=”#ffffff” content_align=”text-default”][vc_column_text]\"picto-3\"<\/a><\/p>\n

DOWNLOAD SECTION
\nSign in with your login<\/p>\n

SIGN IN \"picto-fleche\"<\/a>[\/vc_column_text][\/vc_column][vc_column width=”1\/12″ offset=”vc_hidden-xs” css=”.vc_custom_1468842533276{background-color: #eb690b !important;}”][vc_empty_space height=”310″][\/vc_column][\/vc_row][vc_row css=”.vc_custom_1469092306918{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column css=”.vc_custom_1468844854754{margin-top: 35px !important;}”][vc_row_inner][vc_column_inner width=”1\/3″][st_customheading heading=”Atelier B v4.3.1 is freely downloadable during the International ABZ Conference 2016″ heading_color=”#4b4b4d” content_align=”text-default”][\/vc_column_inner][vc_column_inner width=”2\/3″][\/vc_column_inner][\/vc_row_inner][vc_row_inner css=”.vc_custom_1468845638157{padding-bottom: 35px !important;}”][vc_column_inner width=”1\/2″ css=”.vc_custom_1468845579077{margin-top: -25px !important;}”][vc_column_text]\n

We are pleased to inform you that Atelier B 4.3.1 is available for free download at the occasion of the International ABZ Conference 2016.<\/a>
\nThis version includes 27 fixes and 2 new features: a new prover based on the ProB tools<\/a> and the B Coding Rule Checker.
\nFor further information, please check out the version release note.<\/strong><\/a><\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1468306001767{margin-bottom: -50px !important;background-image: url(https:\/\/www.coppilot.fr\/wp-content\/uploads\/sites\/5\/2016\/06\/image-rails-footer-e1466407777888.jpg?id=399) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_empty_space height=”350″][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” el_id=”entete-bcg2″ css=”.vc_custom_1468830983812{padding-top: 150px !important;padding-bottom: 150px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-accueil.jpg?id=2266) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_column_text] THE INDUSTRIAL TOOL TO EFFICIENTLY DEPLOY THE B METHOD [\/vc_column_text][st_button st_template=”layout5″ size=”regular” margin_top=”10″ button_align=”left” icon_type=”fontawesome” title=”SEE MORE +” link=”url:https%3A%2F%2Fwww.atelierb.eu%2Fen%2Fatelier-b-tools%2F|||”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content” css=”.vc_custom_1468834340025{background-color: #eb690b !important;}”][vc_column width=”1\/3″ css=”.vc_custom_1467037672337{padding-top: 75px !important;padding-right: 55px !important;padding-bottom: 75px !important;padding-left: 75px !important;}”][st_customheading heading=”Why use Atelier B 4.0 ?” […]<\/p>\n","protected":false},"author":1,"featured_media":839,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nAtelier de g\u00e9nie logiciel permettant de d\u00e9velopper des logiciels prouv\u00e9s sans d\u00e9faut | Atelier B<\/title>\n<meta name=\"description\" content=\"THE INDUSTRIAL TOOL TO EFFICIENTLY DEPLOY THE B METHOD You can : > Free Download > New Distribution Policy. > New maintenance contract. Developed\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Atelier de g\u00e9nie logiciel permettant de d\u00e9velopper des logiciels prouv\u00e9s sans d\u00e9faut | Atelier B\" \/>\n<meta property=\"og:description\" content=\"THE INDUSTRIAL TOOL TO EFFICIENTLY DEPLOY THE B METHOD You can : > Free Download > New Distribution Policy. > New maintenance contract. Developed\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2020-05-12T10:37:10+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2013\/03\/bande-orange.png\" \/>\n\t<meta property=\"og:image:width\" content=\"712\" \/>\n\t<meta property=\"og:image:height\" content=\"26\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2013\/03\/bande-orange.png\",\"width\":712,\"height\":26},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier de g\\u00e9nie logiciel permettant de d\\u00e9velopper des logiciels prouv\\u00e9s sans d\\u00e9faut | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#primaryimage\"},\"datePublished\":\"2011-09-06T12:42:48+00:00\",\"dateModified\":\"2020-05-12T10:37:10+00:00\",\"description\":\"THE INDUSTRIAL TOOL TO EFFICIENTLY DEPLOY THE B METHOD You can : > Free Download > New Distribution Policy. > New maintenance contract. Developed\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier de g\\u00e9nie logiciel permettant de d\\u00e9velopper des logiciels prouv\\u00e9s sans d\\u00e9faut\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/81\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/page\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=81"}],"version-history":[{"count":12,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/81\/revisions\/"}],"predecessor-version":[{"id":3495,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/81\/revisions\/3495\/"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/839\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=81"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}