{"id":3580,"date":"2025-11-13T14:46:10","date_gmt":"2025-11-13T13:46:10","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?page_id=3580"},"modified":"2025-11-18T18:42:10","modified_gmt":"2025-11-18T17:42:10","slug":"b-method-training","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/","title":{"rendered":"B Method Training"},"content":{"rendered":"\n<p class=\"SYSNormal\">The development of critical systems requires particular rigor to achieve high-quality systems.<\/p>\n\n\n\n<p class=\"SYSNormal\"><strong><a href=\"https:\/\/www.systerel.fr\/expertises\/methodes-formelles\/\">Formal methods<\/a><\/strong> provide this necessary rigor through mathematical modeling of specifications, accompanied by proofs of consistency and compliance. This approach <strong>not only eliminates ambiguities but also clarifies the specification<\/strong>.<\/p>\n\n\n\n<p class=\"SYSNormal\"><strong><a href=\"https:\/\/www.systerel.fr\/expertises\/methodes-formelles\/methode-b\/\">The B method<\/a> <\/strong>is a formal method developed by J.-R. Abrial and used particularly in the industrial domain for the development of complex systems.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Objectives<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>Acquire the methodology for carrying out software development in B<\/li>\n<li>Learn the B language<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Prerequisites<\/h2>\n\n\n\n<p>Knowledge of the principles of complex software development.<\/p>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">Training: B Method<br>2-day Program<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>Principles of the <a title=\"B Method\" href=\"https:\/\/www.systerel.fr\/expertises\/methodes-formelles\/methode-b\/\">B method<\/a><\/li>\n<li>Principles of software development in B<\/li>\n<li>Modeling of data, requirements, and processes in B<\/li>\n<li>Structuring a software development in B<\/li>\n<li>Learning the principles of refinement<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Assessment<\/h2>\n\n\n\n<p>Questionnaires will be administered at the beginning and end of the training to assess acquired knowledge.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Language<\/h2>\n\n\n\n<p>This training course is only available in French.<\/p>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">Testimonials<\/h2>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p>&#8220;<em>The B method training allowed me to make a big step forward in this field, which is very complex. The instructor managed in just two days to condense the essential foundation, enabling me to explore new horizons and motivating me to further refine my knowledge in this domain.<\/em>&#8220;<br>Laurent Guillaume, Software Developer, <a href=\"https:\/\/elipse-technologie.fr\/\" target=\"_blank\" rel=\"noreferrer noopener\">Elipse Technologie<\/a>.<\/p>\n<\/blockquote>\n\n\n\n<p><\/p>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h3 class=\"wp-block-heading has-text-color has-link-color wp-elements-1b46bfd9b620d76678e8c267333fafb9\" style=\"color:#004187;font-size:25px;text-transform:none\">Systerel\u2019s Expertise in the B Method<\/h3>\n\n\n\n<p>Systerel is <strong>one of the leaders in the use of the B method<\/strong> for critical software development in an industrial context.<\/p>\n\n\n\n<p>The B method enables a formal, stepwise development process leading to executable code.<\/p>\n\n\n\n<p>The training is supported by <strong>numerous examples and practical exercises<\/strong>, allowing for concrete application of the B method in an industrial project.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h3 class=\"wp-block-heading has-text-color has-link-color wp-elements-0cb956f5c9a06c50719f240631b84c55\" style=\"color:#004187;font-size:25px;text-transform:none\">Training Tailored to Your Needs<\/h3>\n\n\n\n<p>Training can be delivered <strong>in person<\/strong> <a href=\"https:\/\/goo.gl\/maps\/1bshy8AijtkPF2aL6\">at our offices in Aix-en-Provence<\/a>, in the Paris region, or directly on your company site.<\/p>\n\n\n\n<p>We can also offer <strong>customized training<\/strong>, specifically designed to meet your company\u2019s requirements.<\/p>\n\n\n\n<p>Feel free to contact us for more information: <a href=\"mailto:formation@systerel.fr\">formation@systerel.fr<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-vertically-aligned-top is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><a href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png\"><img decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png\" alt=\"B Method training satisfaction rate\" class=\"wp-image-5149\" style=\"width:350px\"\/><\/a><\/figure>\n<\/div>\n\n\n<p class=\"has-text-align-center\"><strong>Satisfaction Rate 2024: 91 %*<\/strong><\/p>\n\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"has-small-font-size\"><em>* Average rate based on satisfaction surveys conducted during the trainings.<\/em><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-vertically-aligned-top is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><a href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2024\/09\/Qualiopi_317.png\"><img decoding=\"async\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2024\/09\/Qualiopi_317.png\" alt=\"Qualiopi Certificate B Method training\" class=\"wp-image-7067\" style=\"width:300px\"\/><\/a><\/figure>\n<\/div>\n\n\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"has-small-font-size\">The quality certification was issued under the category &#8220;training actions&#8221;.<\/p>\n<\/div>\n<\/div>\n\n\n\n<h3 class=\"wp-block-heading\" style=\"text-transform:none\">Learn more about our training courses<\/h3>\n\n\n\n<p><\/p>\n\n\n\n<p class=\"has-text-align-left\"><a class=\"btn from-shortcode \" href=\"mailto:formation@systerel.fr\">Contact us <\/a><\/p>\n\n\n\n<p class=\"has-small-font-size\"><em>Activity registered under number 93 13 12834 13 with the Prefect of the Provence-Alpes-C\u00f4te d\u2019Azur region.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The development of critical systems requires particular rigor to achieve high-quality systems. Formal methods provide this necessary rigor through mathematical modeling of specifications, accompanied by proofs of consistency and compliance. &hellip;<\/p>\n","protected":false},"author":22,"featured_media":0,"parent":3480,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-3580","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>B Method Training - Systerel English<\/title>\n<meta name=\"description\" content=\"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.\" \/>\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.systerel.fr\/en\/training\/b-method-training\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"B Method Training - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-18T17:42:10+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/\",\"name\":\"B Method Training - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/Satisfaction.png\",\"datePublished\":\"2025-11-13T13:46:10+00:00\",\"dateModified\":\"2025-11-18T17:42:10+00:00\",\"description\":\"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/Satisfaction.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2022\\\/03\\\/Satisfaction.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/b-method-training\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Training\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/training\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"B Method Training\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"B Method Training - Systerel English","description":"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.","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.systerel.fr\/en\/training\/b-method-training\/","og_locale":"en_US","og_type":"article","og_title":"B Method Training - Systerel English","og_description":"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.","og_url":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/","og_site_name":"Systerel English","article_modified_time":"2025-11-18T17:42:10+00:00","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/","url":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/","name":"B Method Training - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png","datePublished":"2025-11-13T13:46:10+00:00","dateModified":"2025-11-18T17:42:10+00:00","description":"Discover Systerel\u2019s B Method training: formal methods for critical software, practical exercises, and expertise in industrial system development.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/training\/b-method-training\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/#primaryimage","url":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png","contentUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2022\/03\/Satisfaction.png"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/training\/b-method-training\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Training","item":"https:\/\/www.systerel.fr\/en\/training\/"},{"@type":"ListItem","position":3,"name":"B Method Training"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3580","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=3580"}],"version-history":[{"count":6,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3580\/revisions"}],"predecessor-version":[{"id":3721,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3580\/revisions\/3721"}],"up":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/3480"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=3580"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}