{"id":21280,"date":"2026-05-04T07:05:12","date_gmt":"2026-05-04T05:05:12","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=21280"},"modified":"2026-05-04T07:05:12","modified_gmt":"2026-05-04T05:05:12","slug":"an-overview-of-formal-methods-for-safer-systems","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/","title":{"rendered":"An overview of formal methods for safer systems"},"content":{"rendered":"<p>CLEARSY has contributed to the article \u201cFormal Methods in Industry\u201d, alongside eminent authors who are leading authorities in the field of formal methods. It details CLEARSY\u2019s industrial experience with B Method (<a href=\"https:\/\/www.atelierb.eu\/en\/presentation-of-the-b-method\/\">https:\/\/www.atelierb.eu\/en\/presentation-of-the-b-method\/<\/a>) as applied to railway systems which is a field where formal rigor is strongly recommended.<\/p>\n<p>Formal methods are mathematical techniques used to rigorously specify and verify systems. They offer guarantees of reliability far superior to conventional testing; however, their adoption in industry remains limited to systems that cannot tolerate any faults. They enable one to mathematically prove that a system satisfies properties and can be used at all stages of development, from requirements and safety principles through to final validation. Tools such as CLEARSY\u2019s Atelier B and the CLEARSY Data Solver demonstrate their practical implementation.<\/p>\n<p>They are now used in many fields, particularly in critical systems such as aerospace and rail, but also in broader sectors. Feedback shows that they improve quality and reduce errors, although they require specialist skills.<\/p>\n<p>Finally, learning to use them develops essential skills such as rigorous reasoning, and their use is expected to continue to grow thanks to improvements in the tools and their gradual integration into industrial practices.<\/p>\n<p>The full article can be found at this link: <a href=\"https:\/\/dl.acm.org\/doi\/epdf\/10.1145\/3689374\">https:\/\/dl.acm.org\/doi\/epdf\/10.1145\/3689374<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>CLEARSY has contributed to the article \u201cFormal Methods in Industry\u201d, alongside eminent authors who are leading authorities in the field [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":21277,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1550,686],"tags":[],"class_list":["post-21280","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-rd-2-en","category-the-tools"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>An overview of formal methods for safer systems - CLEARSY<\/title>\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.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"An overview of formal methods for safer systems - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"CLEARSY has contributed to the article \u201cFormal Methods in Industry\u201d, alongside eminent authors who are leading authorities in the field [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2026-05-04T05:05:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"1700\" \/>\n\t<meta property=\"og:image:height\" content=\"650\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Elodie SENOUCI-TANI\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Elodie SENOUCI-TANI\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/\"},\"author\":{\"name\":\"Elodie SENOUCI-TANI\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/814317cfd25d55208a01568fae4dc689\"},\"headline\":\"An overview of formal methods for safer systems\",\"datePublished\":\"2026-05-04T05:05:12+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/\"},\"wordCount\":226,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/Article-method-b-US-web.jpeg\",\"articleSection\":[\"R&amp;D\",\"Tools\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/\",\"name\":\"An overview of formal methods for safer systems - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/Article-method-b-US-web.jpeg\",\"datePublished\":\"2026-05-04T05:05:12+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/Article-method-b-US-web.jpeg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/Article-method-b-US-web.jpeg\",\"width\":1700,\"height\":650,\"caption\":\"An overview of formal methods for safer systems\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/rd-2-en\\\/an-overview-of-formal-methods-for-safer-systems\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"An overview of formal methods for safer systems\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/814317cfd25d55208a01568fae4dc689\",\"name\":\"Elodie SENOUCI-TANI\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g\",\"caption\":\"Elodie SENOUCI-TANI\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/esenouci\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"An overview of formal methods for safer systems - CLEARSY","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.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/","og_locale":"en_US","og_type":"article","og_title":"An overview of formal methods for safer systems - CLEARSY","og_description":"CLEARSY has contributed to the article \u201cFormal Methods in Industry\u201d, alongside eminent authors who are leading authorities in the field [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/","og_site_name":"CLEARSY","article_published_time":"2026-05-04T05:05:12+00:00","og_image":[{"width":1700,"height":650,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg","type":"image\/jpeg"}],"author":"Elodie SENOUCI-TANI","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Elodie SENOUCI-TANI","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/"},"author":{"name":"Elodie SENOUCI-TANI","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/814317cfd25d55208a01568fae4dc689"},"headline":"An overview of formal methods for safer systems","datePublished":"2026-05-04T05:05:12+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/"},"wordCount":226,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg","articleSection":["R&amp;D","Tools"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/","url":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/","name":"An overview of formal methods for safer systems - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg","datePublished":"2026-05-04T05:05:12+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2026\/05\/Article-method-b-US-web.jpeg","width":1700,"height":650,"caption":"An overview of formal methods for safer systems"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/rd-2-en\/an-overview-of-formal-methods-for-safer-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"An overview of formal methods for safer systems"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/814317cfd25d55208a01568fae4dc689","name":"Elodie SENOUCI-TANI","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/501a9cdd7eeba9e36ae784c53b209c3629e3e856bc8e66cea6ad8f7f8ebe97ba?s=96&d=mm&r=g","caption":"Elodie SENOUCI-TANI"},"url":"https:\/\/www.clearsy.com\/en\/author\/esenouci\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21280","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=21280"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21280\/revisions"}],"predecessor-version":[{"id":21281,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/21280\/revisions\/21281"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/21277"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=21280"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=21280"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=21280"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}