{"id":56,"date":"2011-09-08T14:38:23","date_gmt":"2011-09-08T13:38:23","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=56"},"modified":"2018-11-16T14:13:56","modified_gmt":"2018-11-16T13:13:56","slug":"le-compilateur-b","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/","title":{"rendered":"B Compiler"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469012806833{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][st_customheading heading=”B COMPILER” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469177073084{padding-top: 55px !important;padding-bottom: 40px !important;background-color: #f29400 !important;}”][vc_column width=”1\/4″ css=”.vc_custom_1469093377993{margin-bottom: -30px !important;}”][st_customheading heading=”PRESENTATION” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][vc_column_text]With the Theorem Generator and the Theorem Demonstrator, the B compiler is one of Atelier B\u2019s main tools. It allows for an analysis of the syntax of B models and the verification of the coherence of types, as well as the rules on the construction and visibility of models in a B project. It therefore is a powerful library that allows for new applications to be created.<\/strong>[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469013082464{padding-top: 55px !important;padding-bottom: 45px !important;background-color: #f7f7f7 !important;}”][vc_column][st_customheading heading=”FOR EXAMPLE:” heading_color=”#eb690b” content_align=”text-center”][vc_row_inner content_placement=”middle” css=”.vc_custom_1469176621867{margin-top: 50px !important;}”][vc_column_inner width=”1\/2″][vc_single_image image=”2327″ img_size=”480×480″ alignment=”center”][\/vc_column_inner][vc_column_inner width=”1\/2″][vc_column_text]\n

BART<\/strong>
\n> <\/strong>An automatic refinement tool. This tool lets you automate the installation of abstract B machines by applying the refinement rules. Siemens Transportation Systems uses a similar tool to develop automatic pilots for subways.<\/p>\n

B2Ladder<\/strong>
\n> <\/strong>A translator that produces a Ladder (a contact language used by programmable automatons in industry) graphic model based on a B model. This translator is specific to the Siemens S7 automaton family.<\/p>\n

Btags<\/strong>
\n> <\/strong> A tool that generates navigation information for the Atelier B v4.0, Emacs and vi model editor. It accepts the entry into B machines of the mathematical rules used for proof with Atelier B, as well as BART refinement rules.<\/p>\n

B2Rodin<\/strong>
\n> <\/strong>Transformation of an event B model (in Atelier B text format) into a Rodin xml model.<\/p>\n

The Cross-Referencer (CrossRef)<\/strong>
\n> <\/strong>A tool to generate dictionaries of terms.<\/p>\n

> <\/strong>Translators of B to C, ADA and High Integrity ADA (industrial)<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469014185252{padding-top: 55px !important;padding-bottom: 45px !important;}”][vc_column width=”1\/6″][vc_single_image image=”2276″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]\n

OPEN SOURCE PROJECTS<\/h4>\n

Get more informations about our open source projects
\n<\/strong>[\/vc_column_text][\/vc_column][vc_column width=”2\/6″][vc_btn title=”SEE MORE +” style=”outline-custom” outline_custom_color=”#eb690b” outline_custom_hover_background=”#4d4f5b” outline_custom_hover_text=”#ffffff” align=”left” i_align=”right” i_icon_fontawesome=”fa fa-long-arrow-right” add_icon=”true” el_class=”btn-compilateur” link=”url:https%3A%2F%2Ftools.clearsy.com%2F|||”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469012884359{margin-bottom: -60px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/footer-visu2.jpg?id=2296) !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” css=”.vc_custom_1469012806833{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][st_customheading heading=”B COMPILER” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469177073084{padding-top: 55px !important;padding-bottom: 40px !important;background-color: #f29400 !important;}”][vc_column width=”1\/4″ css=”.vc_custom_1469093377993{margin-bottom: -30px !important;}”][st_customheading heading=”PRESENTATION” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][vc_column_text]With the Theorem Generator and the Theorem Demonstrator, the B compiler is one of Atelier B\u2019s main tools. It allows […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":14,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nB Compiler | Atelier B<\/title>\n<meta name=\"description\" content=\"With the Theorem Generator and the Theorem Demonstrator, the B compiler is one of Atelier B\u2019s main tools. It allows for an analysis of the syntax of B\" \/>\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\/atelier-b-tools\/le-compilateur-b\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"B Compiler | Atelier B\" \/>\n<meta property=\"og:description\" content=\"With the Theorem Generator and the Theorem Demonstrator, the B compiler is one of Atelier B\u2019s main tools. It allows for an analysis of the syntax of B\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2018-11-16T13:13:56+00:00\" \/>\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\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/\",\"name\":\"B Compiler | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2011-09-08T13:38:23+00:00\",\"dateModified\":\"2018-11-16T13:13:56+00:00\",\"description\":\"With the Theorem Generator and the Theorem Demonstrator, the B compiler is one of Atelier B\\u2019s main tools. It allows for an analysis of the syntax of B\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/#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\/atelier-b-tools\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/\",\"name\":\"Atelier B\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/le-compilateur-b\/\",\"name\":\"B Compiler\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/56\/"}],"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=56"}],"version-history":[{"count":6,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/56\/revisions\/"}],"predecessor-version":[{"id":3309,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/56\/revisions\/3309\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/14\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}