{"id":172,"date":"2011-09-14T11:50:36","date_gmt":"2011-09-14T10:50:36","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=172"},"modified":"2020-10-21T15:54:21","modified_gmt":"2020-10-21T14:54:21","slug":"formation-a-la-methode-b-niveau-3-prouver-b","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/","title":{"rendered":"B Method Training – Level 3 : Prove B"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469435131261{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 width=”1\/4″ css=”.vc_custom_1469435350900{padding-right: 65px !important;}”][st_customheading heading=”B METHOD TRAINING : LEVEL 3″ heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435234976{padding-top: 55px !important;padding-bottom: 25px !important;background-color: #f29400 !important;}”][vc_column][st_customheading heading=”TRAINING \/ LEVEL 3 : PROVE B” heading_color=”#ffffff” content_align=”text-center”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435443185{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/2″ css=”.vc_custom_1469435711458{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #f29400 !important;border-right-style: solid !important;}”][vc_column_text]\n
OBJECTIVES :<\/h5>\n

>\u00a0<\/strong>Learn to prove a B model with a B Workshop.<\/p>\n

WHO SHOULD PARTICIPATE :<\/h5>\n

> <\/strong>Any person who wishes to verify a B project.<\/p>\n

DURATION :<\/h5>\n

4 Days<\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”1\/2″][vc_column_text css=”.vc_custom_1469546237272{padding-left: 25px !important;}”]\n

ORGANISATION :<\/h5>\n

> <\/strong>9 persons at most per session
\n> <\/strong>The training takes CLEARSY<\/b> offices in Aix<\/span> or Paris<\/span> (Except in excpetional circumstances).
\n> <\/strong>Contact CLEARSY for future training dates.<\/p>\n

PRICES :<\/h5>\n

>\u00a0<\/strong>A rebate of 15% is granted for a group of at least 3 people from the same organization.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469435911163{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f7f7f7 !important;}”][vc_column width=”1\/3″][vc_column_text]\"pictos-6\"<\/a><\/p>\n

> PROGRAM :<\/strong>
\nB Training – Level 3<\/p>\n

DOWNLOAD \u00a0 \"pictos-fleche1\"<\/a><\/p>\n[\/vc_column_text][\/vc_column][vc_column width=”2\/3″][st_customheading heading=”PROGRAM” heading_color=”#eb690b” content_align=”text-default”][vc_column_text css=”.vc_custom_1469546412248{margin-top: 55px !important;}”]\n

1 – PRINCIPLES OF THE VERIFICATION ACTIVITY<\/h5>\n

>\u00a0<\/strong>The verification (\u201cproof\u201d) activity with the B Workshop is divided into various phases: the use of an automatic prover to demonstrate most of the obligations of correct proof, an examination of remaining proof obligations to detect errors and the finalization of proof with an interactive prover.<\/p>\n

2 – AUTOMATIC PROVER PRINCIPLES<\/h5>\n

>\u00a0<\/strong>Description of the strategies and mechanisms of Worship B\u2019s automatic prover.<\/p>\n

3 – USING THE AUTOMATIC PROVER<\/h5>\n

>\u00a0<\/strong>Description of the principles for using the interactive prover, description of the controls of interactive proof, methodological recommendations for a proper interactive demonstration<\/p>\n

4 – PRACTICAL ORGANIZATION<\/h5>\n

>\u00a0<\/strong>Presentation of event-driven B principles. An entire Practical Task session will study its practical application while examining the significance of sophistication proof in this type of modeling. Benchmarks for the appropriate choosing of abstract variables and events will be studied to define in depth their real interpretation. The greater part of the training takes the form of Tutorials and Practical Tasks in order to acquire real practice with Workshop B proof tools. Participants will demonstrate entire projects with Workshop B. The maintenance\/back-up aspects of proof are studied.<\/p>\n[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469435402528{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_1469435131261{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 width=”1\/4″ css=”.vc_custom_1469435350900{padding-right: 65px !important;}”][st_customheading heading=”B METHOD TRAINING : LEVEL 3″ heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435234976{padding-top: 55px !important;padding-bottom: 25px !important;background-color: #f29400 !important;}”][vc_column][st_customheading heading=”TRAINING \/ LEVEL 3 : PROVE B” heading_color=”#ffffff” content_align=”text-center”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469435443185{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column width=”1\/2″ css=”.vc_custom_1469435711458{border-right-width: 1px !important;padding-right: […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":148,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nB Method Training - Level 3 : Prove B | Atelier B<\/title>\n<meta name=\"description\" content=\"OBJECTIVES : >\u00a0Learn to prove a B model with a B Workshop. WHO SHOULD PARTICIPATE : > Any person who wishes to verify a B project. DURATION : 4 Days\" \/>\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\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"B Method Training - Level 3 : Prove B | Atelier B\" \/>\n<meta property=\"og:description\" content=\"OBJECTIVES : >\u00a0Learn to prove a B model with a B Workshop. WHO SHOULD PARTICIPATE : > Any person who wishes to verify a B project. DURATION : 4 Days\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2020-10-21T14:54:21+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-6.png\" \/>\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\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-6.png\",\"width\":256,\"height\":256},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\",\"name\":\"B Method Training - Level 3 : Prove B | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/#primaryimage\"},\"datePublished\":\"2011-09-14T10:50:36+00:00\",\"dateModified\":\"2020-10-21T14:54:21+00:00\",\"description\":\"OBJECTIVES : >\\u00a0Learn to prove a B model with a B Workshop. WHO SHOULD PARTICIPATE : > Any person who wishes to verify a B project. DURATION : 4 Days\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-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\/formation-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/\",\"name\":\"B Method Training\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-a-la-methode-b-niveau-3-prouver-b\/\",\"name\":\"B Method Training – Level 3 : Prove B\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/172\/"}],"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=172"}],"version-history":[{"count":4,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/172\/revisions\/"}],"predecessor-version":[{"id":3513,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/172\/revisions\/3513\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/148\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=172"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}