{"id":20223,"date":"2024-10-02T07:48:09","date_gmt":"2024-10-02T06:48:09","guid":{"rendered":"https:\/\/www.prover.com\/?p=20223"},"modified":"2025-01-09T14:38:02","modified_gmt":"2025-01-09T13:38:02","slug":"prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/","title":{"rendered":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications"},"content":{"rendered":"<p><a href=\"https:\/\/www.prover.com\/products\/prover-certifier\/\"><span data-contrast=\"none\">Prover Certifier<\/span><\/a><span data-contrast=\"auto\"> is the leading sign-off verification tool that allows you to automatically produce complete safety evidence for your signaling logic using formal verification.<\/span><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559739&quot;:160,&quot;335559740&quot;:259}\">\u00a0<\/span><\/p>\n<p><span data-contrast=\"auto\">We are proud to announce that Prover Certifier has now been <\/span><a href=\"https:\/\/www.prover.com\/certificate_prover_certifier\/\"><span data-contrast=\"none\">certified<\/span><\/a><span data-contrast=\"auto\"> by T\u00dcV NORD as a <\/span><a href=\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\"><span data-contrast=\"none\">CENELEC EN 50716<\/span><\/a><span data-contrast=\"auto\">-compliant T2 tool for SIL 4 applications. This means that it fulfills the toughest requirements for verification and validation tools for safety-critical systems with railway applications in the European Union. The rail and metro industry is moving to this new standard, which is replacing the way-side standard EN\u202f50128 but also covering rolling stock applications.\u00a0<\/span><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559739&quot;:160,&quot;335559740&quot;:259}\">\u00a0<\/span><\/p>\n<p><a href=\"https:\/\/www.prover.com\/guide\/cenelec-en-50716\/\"><span data-contrast=\"none\">EN\u202f50716<\/span><\/a><span data-contrast=\"auto\"> is a clear improvement over EN\u202f50128. Model-based development and verification is encouraged more than before: \u201cModels can also reduce the need for certain activities, particularly when using formal proofs.\u201d. Formal Methods are now highly recommended for all kinds of software.<\/span><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559739&quot;:160,&quot;335559740&quot;:259}\">\u00a0<\/span><\/p>\n<p><span data-contrast=\"auto\">With the release of version 1.4, we meet the complex requirements of the rail and metro domain. Besides introducing the new norm compliance, several improvements have been included in this release. Prover Certifier continues to be EN50128-compliant as well.<\/span><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559739&quot;:160,&quot;335559740&quot;:259}\">\u00a0<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.<\/p>\n","protected":false},"author":17,"featured_media":20228,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159,158],"tags":[],"class_list":["post-20223","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","category-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.\" \/>\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\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-10-02T06:48:09+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T13:38:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1730\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications\",\"datePublished\":\"2024-10-02T06:48:09+00:00\",\"dateModified\":\"2025-01-09T13:38:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\"},\"wordCount\":187,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg\",\"articleSection\":[\"Company news\",\"Software development\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\",\"name\":\"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg\",\"datePublished\":\"2024-10-02T06:48:09+00:00\",\"dateModified\":\"2025-01-09T13:38:02+00:00\",\"description\":\"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg\",\"width\":2560,\"height\":1730},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications\"}]},{\"@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\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World","description":"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.","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\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/","og_locale":"en_US","og_type":"article","og_title":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World","og_description":"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.","og_url":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-10-02T06:48:09+00:00","article_modified_time":"2025-01-09T13:38:02+00:00","og_image":[{"width":2560,"height":1730,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg","type":"image\/jpeg"}],"author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications","datePublished":"2024-10-02T06:48:09+00:00","dateModified":"2025-01-09T13:38:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/"},"wordCount":187,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg","articleSection":["Company news","Software development"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/","url":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/","name":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg","datePublished":"2024-10-02T06:48:09+00:00","dateModified":"2025-01-09T13:38:02+00:00","description":"Prover Certifier has now been certified by T\u00dcV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/iStock-1389962455-scaled.jpg","width":2560,"height":1730},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-certifier-now-en-50716-compliant-t2-tool-for-sil4-applications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"Prover Certifier now EN 50716-compliant T2 tool for SIL4 applications"}]},{"@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\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20223","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\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=20223"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20223\/revisions"}],"predecessor-version":[{"id":20225,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/20223\/revisions\/20225"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/20228"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=20223"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=20223"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=20223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}