{"id":236,"date":"2011-09-14T12:45:07","date_gmt":"2011-09-14T11:45:07","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=236"},"modified":"2019-03-06T14:28:44","modified_gmt":"2019-03-06T13:28:44","slug":"atelier-b-4","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/","title":{"rendered":"Atelier B 4.5"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469175902630{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=”ATELIER B 4.5″ heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469002951812{padding-top: 55px !important;padding-bottom: 45px !important;background-color: #fabb00 !important;}”][vc_column width=”2\/6″][st_customheading heading=”Why use Atelier B 4 ?” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2310″ img_size=”125×125″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]\n

> Free download
\n> New Distribution Policy<\/a>
\n> New Maintenance Contract<\/a>
\n> Universities teaching B in France<\/a>
\n> Nouvelles fonctionnalit\u00e9s<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469003179210{padding-top: 55px !important;padding-bottom: 45px !important;}”][vc_column][st_customheading heading=”New functionalities” heading_color=”#4d4f5b” content_align=”text-center”][vc_column_text]\n

Atelier B 3.7 went through numerous improvements and changes to finally become Atelier B 4. Here is an overview of the main changes in this new version:<\/p>\n[\/vc_column_text][vc_row_inner content_placement=”top” gap=”25″ css=”.vc_custom_1469175927127{margin-top: 35px !important;}”][vc_column_inner width=”1\/2″ css=”.vc_custom_1469092989021{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #eb690b !important;border-right-style: solid !important;}”][vc_column_text]\n

> <\/span>Availability of the tool in Linux, Solaris, Mac OS X and Windows, thanks to the development of the graphic interface in the Qt environment and the transfer of the Atelier B core tools.<\/p>\n

> New graphic interface that offers, in particular:<\/span>
\n– <\/span> An all-in-one overview of the projects and their status, a better integration of error messages.
\n– <\/span> The inclusion of a task distributor: the development tasks (type verification, generation of proof obligations, automatic proof, code generation) can be distributed among a pool of servers. The interface allows for the adding, deleting and interrupting of these tasks.
\n– <\/span> A reworked proof interface with better management of the proof tree, simplified access to proof commands, the addition of user rules and the syntactic analysis of formulas.
\n– <\/span> An editor with browsing and automatic completion that supports the B Language and Event-B. (Event-B).<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/2″ css=”.vc_custom_1469092971826{padding-left: 25px !important;}”][vc_column_text]\n

> <\/span>Integration of the proof of the proper definition of models: automatic, integrated creation of a proper definition project associated with a main project to validate the proper definition of models.
\nAddition of improved proof tools for rules.<\/p>\n

> <\/span>Addition of an automatic refinement tool (BART)<\/strong><\/p>\n

> <\/span>Addition of a B0 implementation translator towards the language (ComenC)<\/strong><\/p>\n

> <\/span>Event-B<\/strong> support with syntactic controls and the generation of specific proof obligations<\/p>\n

> <\/span>Addition of a simple, effective means of interfacing with external tools.<\/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_1469003021653{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_1469175902630{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=”ATELIER B 4.5″ heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469002951812{padding-top: 55px !important;padding-bottom: 45px !important;background-color: #fabb00 !important;}”][vc_column width=”2\/6″][st_customheading heading=”Why use Atelier B 4 ?” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2310″ img_size=”125×125″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text] > Free download > New Distribution Policy > New Maintenance Contract > Universities […]<\/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":"\nAtelier B 4.5 | Atelier B<\/title>\n<meta name=\"description\" content=\"> Free download > New Distribution Policy > New Maintenance Contract > Universities teaching B in France > Nouvelles fonctionnalit\u00e9s\" \/>\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\/atelier-b-4\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Atelier B 4.5 | Atelier B\" \/>\n<meta property=\"og:description\" content=\"> Free download > New Distribution Policy > New Maintenance Contract > Universities teaching B in France > Nouvelles fonctionnalit\u00e9s\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2019-03-06T13:28:44+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\/atelier-b-4\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/\",\"name\":\"Atelier B 4.5 | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2011-09-14T11:45:07+00:00\",\"dateModified\":\"2019-03-06T13:28:44+00:00\",\"description\":\"> Free download > New Distribution Policy > New Maintenance Contract > Universities teaching B in France > Nouvelles fonctionnalit\\u00e9s\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/#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\/atelier-b-4\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/atelier-b-tools\/atelier-b-4\/\",\"name\":\"Atelier B 4.5\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/236\/"}],"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=236"}],"version-history":[{"count":5,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/236\/revisions\/"}],"predecessor-version":[{"id":3330,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/236\/revisions\/3330\/"}],"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=236"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}