{"id":5800,"date":"2022-01-19T09:52:34","date_gmt":"2022-01-19T08:52:34","guid":{"rendered":"https:\/\/www.prover.com\/?p=5800"},"modified":"2024-07-25T18:32:25","modified_gmt":"2024-07-25T17:32:25","slug":"formal-verification-tools-certified-for-rail-control","status":"publish","type":"post","link":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/","title":{"rendered":"Formal verification tools certified for rail control"},"content":{"rendered":"

We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!<\/p>\n

Prover is the leading provider of formal verification solutions for automation of safety verification and assessment tasks for rail control software. The formal verification tool PSL uses mathematical algorithms to prove, with 100 % coverage, that the system fulfills its safety requirements. For requirements that are fulfilled it produces a proof log that can be checked with the sign-off verification tool Prover Certifier. For violated properties it produces a counterexample and provides powerful built-in debugging aid.<\/p>\n

The prevailing international standard for development of safety critical rail control software is CENELEC EN 50128. Prover\u2019s formal verification solutions are developed according to this standard, making it possible to base a SIL-4 safety case of your software on formal verification. As the formal verification is fully automated, and gives 100 % coverage, this will reduce the cost for the safety assessment at the same time as it increases the confidence of the safety.<\/p>\n

PSL and Prover Certifier are key parts of the Prover Trident design automation solution for requirement specification, configuration, design, implementation, functional testing, and safety verification of rail control software. PSL and Prover Certifier have successfully been used by leading rail control suppliers and infrastructure managers for the SIL-4 safety assessment of a large number of rail control projects.<\/p>\n

To simplify the use of formal verification in safety assessment and to reduce the effort for the approval of such processes, Prover is working with T\u00dcV Nord to provide certification of that the tools fulfill the relevant requirements of CENELEC EN 50128. Prover Certifier has now received this certification for tool class T2 from T\u00dcV Nord. This is just the beginning, and more certifications are planned for the near future!<\/p>\n<\/div><\/div><\/div><\/div><\/div>

<\/span><\/div><\/div><\/div>
\n

How safe and efficient are your rail control systems? Let\u2019s find out!<\/a><\/u><\/h4>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":16,"featured_media":14330,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[152],"tags":[],"class_list":["post-5800","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-formal-methods"],"yoast_head":"\nFormal verification tools certified for rail control - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!\" \/>\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.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal verification tools certified for rail control - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2022-01-19T08:52:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-25T17:32:25+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"675\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Gunnar Smith\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Gunnar Smith\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"Formal verification tools certified for rail control\",\"datePublished\":\"2022-01-19T08:52:34+00:00\",\"dateModified\":\"2024-07-25T17:32:25+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\"},\"wordCount\":655,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp\",\"articleSection\":[\"Formal methods\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\",\"url\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\",\"name\":\"Formal verification tools certified for rail control - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp\",\"datePublished\":\"2022-01-19T08:52:34+00:00\",\"dateModified\":\"2024-07-25T17:32:25+00:00\",\"description\":\"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp\",\"width\":1200,\"height\":675,\"caption\":\"Formal verification tools certified for rail control\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formal methods\",\"item\":\"https:\/\/www.prover.com\/categories\/formal-methods\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal verification tools certified for rail control\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\",\"name\":\"Gunnar Smith\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"caption\":\"Gunnar Smith\"},\"url\":\"https:\/\/www.prover.com\/author\/gunnar-smith\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal verification tools certified for rail control - Prover - Engineering a Safer World","description":"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!","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.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/","og_locale":"en_US","og_type":"article","og_title":"Formal verification tools certified for rail control - Prover - Engineering a Safer World","og_description":"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!","og_url":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2022-01-19T08:52:34+00:00","article_modified_time":"2024-07-25T17:32:25+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp","type":"image\/jpeg"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"Formal verification tools certified for rail control","datePublished":"2022-01-19T08:52:34+00:00","dateModified":"2024-07-25T17:32:25+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/"},"wordCount":655,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp","articleSection":["Formal methods"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/","url":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/","name":"Formal verification tools certified for rail control - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp","datePublished":"2022-01-19T08:52:34+00:00","dateModified":"2024-07-25T17:32:25+00:00","description":"We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from T\u00dcV Nord!","breadcrumb":{"@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/01\/Formal-verification-tools-certified-for-rail-control-jpg.webp","width":1200,"height":675,"caption":"Formal verification tools certified for rail control"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/formal-methods\/formal-verification-tools-certified-for-rail-control\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Formal methods","item":"https:\/\/www.prover.com\/categories\/formal-methods\/"},{"@type":"ListItem","position":3,"name":"Formal verification tools certified for rail control"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10","name":"Gunnar Smith","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","caption":"Gunnar Smith"},"url":"https:\/\/www.prover.com\/author\/gunnar-smith\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/5800","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=5800"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/5800\/revisions"}],"predecessor-version":[{"id":19822,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/5800\/revisions\/19822"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14330"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=5800"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=5800"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=5800"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}