{"id":14179,"date":"2023-04-11T20:56:22","date_gmt":"2023-04-11T19:56:22","guid":{"rendered":"https:\/\/stage.prover.com\/?page_id=14179"},"modified":"2025-06-06T14:15:20","modified_gmt":"2025-06-06T13:15:20","slug":"formal-verification","status":"publish","type":"page","link":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/","title":{"rendered":"Formal verification"},"content":{"rendered":"<p><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container has-pattern-background has-mask-background fusion-parallax-fixed nonhundred-percent-fullwidth non-hundred-percent-height-scrolling lazyload\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-right:6vw;--awb-padding-bottom:0px;--awb-padding-left:6vw;--awb-padding-top-medium:105px;--awb-padding-bottom-medium:160px;--awb-padding-top-small:0px;--awb-padding-right-small:30px;--awb-padding-bottom-small:0px;--awb-padding-left-small:30px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-min-height:460px;--awb-min-height-small:490px;--awb-background-color:var(--awb-color2);--awb-background-image:linear-gradient(180deg, rgba(12,41,84,0.62) 0%,rgba(12,41,84,0.75) 100%);;--awb-background-size:cover;--awb-flex-wrap:wrap;background-attachment:fixed;\" data-bg=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp\" data-bg-gradient=\"linear-gradient(180deg, rgba(12,41,84,0.62) 0%,rgba(12,41,84,0.75) 100%)\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-padding-top:90px;--awb-padding-top-small:50px;--awb-padding-bottom-small:50px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><nav class=\"fusion-breadcrumbs fusion-no-small-visibility awb-yoast-breadcrumbs fusion-breadcrumbs-1 breadcrumbs-white\" style=\"--awb-margin-bottom:50px;--awb-text-color:var(--awb-color1);--awb-breadcrumb-sep:&#039;\/&#039;;\" aria-label=\"Breadcrumb\"><span><span><a href=\"https:\/\/www.prover.com\/\">Home<\/a><\/span><\/span><\/nav><div class=\"fusion-title title fusion-title-1 fusion-no-small-visibility fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:40pt;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"font-family:var(--awb-custom_typography_2-font-family);font-weight:var(--awb-custom_typography_2-font-weight);font-style:var(--awb-custom_typography_2-font-style);margin:0;letter-spacing:var(--awb-custom_typography_2-letter-spacing);text-transform:none;font-size:1em;line-height:var(--awb-custom_typography_2-line-height);\">Formal verification<\/h1><\/div><div class=\"fusion-title title fusion-title-2 fusion-no-medium-visibility fusion-no-large-visibility fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:28pt;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"font-family:var(--awb-custom_typography_2-font-family);font-weight:var(--awb-custom_typography_2-font-weight);font-style:var(--awb-custom_typography_2-font-style);margin:0;letter-spacing:var(--awb-custom_typography_2-letter-spacing);text-transform:none;font-size:1em;line-height:var(--awb-custom_typography_2-line-height);\">Formal Verification<\/h1><\/div><div class=\"fusion-text fusion-text-1 fusion-no-small-visibility fusion-text-no-margin\" style=\"--awb-font-size:var(--awb-custom_typography_6-font-size);--awb-line-height:var(--awb-custom_typography_6-line-height);--awb-letter-spacing:var(--awb-custom_typography_6-letter-spacing);--awb-text-transform:var(--awb-custom_typography_6-text-transform);--awb-text-color:var(--awb-color1);--awb-margin-top:15px;--awb-margin-bottom:25px;--awb-text-font-family:var(--awb-custom_typography_6-font-family);--awb-text-font-weight:var(--awb-custom_typography_6-font-weight);--awb-text-font-style:var(--awb-custom_typography_6-font-style);\"><p>Prover provides tools and services for formal verification.<\/p>\n<\/div><div class=\"fusion-text fusion-text-2 fusion-no-medium-visibility fusion-no-large-visibility fusion-text-no-margin\" style=\"--awb-font-size:14pt;--awb-line-height:var(--awb-custom_typography_6-line-height);--awb-letter-spacing:var(--awb-custom_typography_6-letter-spacing);--awb-text-transform:var(--awb-custom_typography_6-text-transform);--awb-text-color:var(--awb-color1);--awb-margin-top:15px;--awb-margin-bottom:10px;--awb-text-font-family:var(--awb-custom_typography_6-font-family);--awb-text-font-weight:var(--awb-custom_typography_6-font-weight);--awb-text-font-style:var(--awb-custom_typography_6-font-style);\"><p>Prover provides tools and services for Formal Verification.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:90px;--awb-padding-bottom:80px;--awb-padding-top-small:70px;--awb-padding-bottom-small:50px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-1 fusion_builder_column_4_5 4_5 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-bg-size:cover;--awb-width-large:80%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:80%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:20px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-3 fusion-sep-none fusion-title-center fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;text-transform:uppercase;\">enablING 100% Certainty THROUGH MATHEMATICAL PROOF<\/h6><\/div><div class=\"fusion-title title fusion-title-4 fusion-sep-none fusion-title-center fusion-title-text fusion-title-size-two\" style=\"--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;text-transform:none;\">What is formal verification?<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-2 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-3\"><p>Formal verification is a technique to ensure systems fulfil selected properties with 100% certainty. For example, for a rail control system, it can be checked that signals cannot display green aspects unless certain switches are in correspondence.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-3 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-4\"><p>While testing of big systems can never reach full coverage due to the number of combinations that would have to be tested, this method provides full certainty because it uses a mathematical argument without gaps. It is precise, unambiguous and covers 100% of the domain under investigation.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-4 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div style=\"text-align:center;\"><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-1 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"\/formal-methods-railway\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Read more about formal methods here<\/span><\/a><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-3 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:80px;--awb-padding-bottom:0px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:40px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-5 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:80px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-spacing-right-small:0px;--awb-margin-bottom-small:60px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-5 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-bottom:0px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:0px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">Formal methods<\/h6><\/div><div class=\"fusion-title title fusion-title-6 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">A requirement in railway safety assessment<\/h2><\/div><div class=\"fusion-text fusion-text-5\"><p>Several infrastructure managers now require Formal Verification as part of the railway safety assessment. Even when not required, suppliers now choose to do it <span style=\"color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform); background-color: var(--awb-bg-color-hover);\">because of the increased safety and the possibility of decreasing testing by finding issues with automated techniques.<\/span><\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-6 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:40px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInRight\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none\"><img decoding=\"async\" width=\"765\" height=\"465\" alt=\"Safety assessment\" title=\"Safety assessment\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-jpg.webp\" class=\"lazyload img-responsive wp-image-14193\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-659008608_edit-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 765px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-4 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:60px;--awb-padding-bottom:40px;--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-7 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:40px;--awb-spacing-right-large:80px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:20px;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeInRight\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-2 hover-type-none\"><img decoding=\"async\" width=\"765\" height=\"465\" alt=\"Get started\" title=\"Get started\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-jpg.webp\" class=\"lazyload img-responsive wp-image-14194\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-1061360448-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 600px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-8 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-spacing-right-small:40px;--awb-margin-bottom-small:60px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-7 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">What is needed for you to get started?<\/h2><\/div><div class=\"fusion-text fusion-text-6\" style=\"--awb-text-transform:none;\"><p>Two kinds of expertise are needed to successfully deploy formal verification as a methodology: Expertise in formal verification and expertise in railway control systems. With our help, tools and guidance, any company can set up and deploy formal safety verifications.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-5 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:30px;--awb-padding-bottom:40px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-9 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:80px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-spacing-right-small:0px;--awb-margin-bottom-small:60px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-8 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Formal verification since 1989<\/h2><\/div><div class=\"fusion-text fusion-text-7\"><p>Prover has performed formal verification for almost 30 years of relay-based interlockings, computer-based interlockings (such as Siemens Westrace, Ansaldo Microlok, Alstom iVPI, GE ElectroLogiXS, SCADE-based designs etc), CBTC systems, ETCS systems, micro processors, embedded systems in cars, and more.<\/p>\n<p>Prover provides products, training and support to set up your own team and process. We will support you during the introduction and assist if expert services are needed.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-10 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:40px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:20px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInRight\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-3 hover-type-none\"><img decoding=\"async\" width=\"765\" height=\"465\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-jpg.webp\" alt class=\"lazyload img-responsive wp-image-14195\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/iStock-961269498_edit-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 765px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-6 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:80px;--awb-padding-bottom:60px;--awb-padding-top-small:0px;--awb-padding-bottom-small:50px;--awb-margin-top:0px;--awb-margin-bottom:80px;--awb-margin-top-small:0px;--awb-background-color:var(--awb-color1);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-11 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:80px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-9 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:0px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Formal verification as a service<\/h2><\/div><div class=\"fusion-text fusion-text-8\"><p>Should you prefer to buy formal verification as a service, Prover will provide you with that. Our experienced and highly skilled professional services team will then formally verify <span style=\"background-color: var(--awb-bg-color); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">your system using a set of our products tailored to your needs. Any violations of railway safety requirements are then reported to you, along with the causes. Read more about our services.<\/span><\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-2 fusion-button-default-span fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color3);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color1);--button_gradient_bottom_color:var(--awb-color1);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"\/services\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Our services<\/span><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default button-icon-right\" aria-hidden=\"true\"><\/i><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-12 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:40px;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-10 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\">Our products portfolio<\/h4><\/div><ul style=\"--awb-size:17px;--awb-margin-top:20px;--awb-margin-right:0px;--awb-margin-bottom:20px;--awb-margin-left:0px;--awb-iconcolor:var(--awb-color3);--awb-line-height:28.9px;--awb-icon-width:28.9px;--awb-icon-height:28.9px;--awb-icon-margin:11.9px;--awb-content-margin:40.8px;\" class=\"fusion-checklist fusion-checklist-1 fusion-checklist-default type-icons\"><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p><a href=\"\/products\/prover-ilock\/\"><strong>Prover iLock\u00ae:<\/strong><\/a> railway interlocking simulator, document &#038; code generator, and verifier<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p><a href=\"\/products\/prover-certifier\/\"><strong>Prover Certifier<\/strong><\/a>: CENELEC SIL-4 certifiable safety evidence generator<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\"><a href=\"\/products\/prover-psl\/\"><strong>Prover PSL<\/strong><\/a>: model checker capable of formally verifying big industrial systems<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-no\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\"><strong>SCADE FV<\/strong>: CENELEC SIL-4 formal verification of systems built with SCADE<\/div><\/li><\/ul><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-7 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:10px;--awb-margin-top:40px;--awb-margin-bottom:40px;--awb-margin-bottom-small:40px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-13 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:28%;--awb-margin-top-large:-60px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:28%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-4 hover-type-none\"><img decoding=\"async\" width=\"600\" height=\"506\" alt=\"Guide digital twins\" title=\"guide-blog-min\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/guide-blog-min.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/guide-blog-min.webp\" class=\"lazyload img-responsive wp-image-13654\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27600%27%20height%3D%27506%27%20viewBox%3D%270%200%20600%20506%27%3E%3Crect%20width%3D%27600%27%20height%3D%27506%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/guide-blog-min-200x169.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/guide-blog-min-400x337.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/guide-blog-min.webp 600w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 600px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-14 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-padding-bottom-small:20px;--awb-bg-size:cover;--awb-width-large:72%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:72%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-0 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-padding-top-small:5px;--awb-padding-bottom-small:0px;--awb-bg-size:cover;--awb-width-large:70%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:70%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-11 fusion-sep-none fusion-title-center fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;text-transform:none;\">How to build a solid safety case for your rail control system using formal verification<\/h4><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-1 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-bg-size:cover;--awb-width-large:30%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:30%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div style=\"text-align:center;\"><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-3 fusion-button-default-span fusion-button-default-type\" style=\"--button_margin-top:0px;\" target=\"_self\" href=\"\/guide\/how-to-build-a-safety-case-for-your-rail-control-system-using-formal-verification\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Download guide<\/span><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default button-icon-right\" aria-hidden=\"true\"><\/i><\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-8 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-sizes-top:0px;--awb-border-sizes-bottom:0px;--awb-border-sizes-left:0px;--awb-border-sizes-right:0px;--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:80px;--awb-padding-bottom:40px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:40px;--awb-padding-top-small:40px;--awb-padding-bottom-small:40px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-15 fusion_builder_column_3_5 3_5 fusion-flex-column fusion-flex-align-self-flex-start fusion-animated\" style=\"--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-bg-size:cover;--awb-width-large:60%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-12 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">References<\/h6><\/div><div class=\"fusion-title title fusion-title-13 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-bottom:30px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Prover\u2019s innovative solutions brings benefits to many types of rail control projects<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-16 fusion_builder_column_2_5 2_5 fusion-flex-column fusion-no-small-visibility fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-14 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"https:\/\/www.prover.com\/references\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">View all<\/a><\/h6><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-17 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:20px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-post-cards fusion-post-cards-1 fusion-delayed-animation fusion-grid-archive fusion-grid-columns-3\" style=\"--awb-column-spacing:85px;--awb-dots-align:center;--awb-columns:3;--awb-filters-color:var(--awb-color7);--awb-active-filter-border-size:3px;--awb-filters-height:36px;--awb-row-spacing:50px;--awb-columns-medium:33.3333%;--awb-columns-small:100%;\" data-post-type-label=\"portfolio\" data-animationType=\"fadeInDown\" data-animationDuration=\"0.6\" data-animationOffset=\"top-into-view\" data-animation-delay=\"0.3\"><ul class=\"fusion-grid fusion-grid-3 fusion-flex-align-items-stretch fusion-grid-posts-cards\"><li class=\"fusion-layout-column fusion_builder_column fusion-builder-column-18 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-5 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/formalizing-trafikverkets-signaling-rules-with-proven-methodology\/\" target=\"_self\"><img decoding=\"async\" width=\"2560\" height=\"1707\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg\" class=\"lazyload img-responsive wp-image-22339 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" alt srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%272560%27%20height%3D%271707%27%20viewBox%3D%270%200%202560%201707%27%3E%3Crect%20width%3D%272560%27%20height%3D%271707%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-200x133.jpg 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-400x267.jpg 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-600x400.jpg 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-800x533.jpg 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-1200x800.jpg 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg 2560w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 2560px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-15 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/formalizing-trafikverkets-signaling-rules-with-proven-methodology\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Formalizing Trafikverket\u2019s signaling rules with proven methodology<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-9\" style=\"--awb-text-transform:var(--awb-typography4-text-transform);\"><p>The project formalized Trafikverket\u2019s signaling regulations by translating them into machine readable requirements and building internal competence in formal methods, paving the way for safer, more efficient, and fully digitalized railway signaling.<\/p>\n<\/div><\/div><\/li>\n<li class=\"fusion-layout-column fusion_builder_column fusion-builder-column-19 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-6 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/modernizing-stockholm-metros-tms-with-safe-migration\/\" target=\"_self\" aria-label=\"Signal modernization at Stockholm Metro\"><img decoding=\"async\" width=\"2560\" height=\"1707\" alt=\"Signal modernization at Stockholm Metro\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg\" class=\"lazyload img-responsive wp-image-21046 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%272560%27%20height%3D%271707%27%20viewBox%3D%270%200%202560%201707%27%3E%3Crect%20width%3D%272560%27%20height%3D%271707%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-200x133.jpg 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-400x267.jpg 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-600x400.jpg 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-800x533.jpg 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-1200x800.jpg 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg 2560w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 2560px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-16 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/modernizing-stockholm-metros-tms-with-safe-migration\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Modernizing Stockholm Metro\u2019s TMS with safe, stepwise migration to PLC<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-10\" style=\"--awb-text-transform:var(--awb-typography4-text-transform);\"><p>In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.<\/p>\n<\/div><\/div><\/li>\n<li class=\"fusion-layout-column fusion_builder_column fusion-builder-column-20 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-7 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/implementing-prover-trident-for-sl-stockholm\/\" target=\"_self\" aria-label=\"Prover-SL-metro\"><img decoding=\"async\" width=\"1200\" height=\"800\" alt=\"SL metro\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp\" class=\"lazyload img-responsive wp-image-18440 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271200%27%20height%3D%27800%27%20viewBox%3D%270%200%201200%20800%27%3E%3Crect%20width%3D%271200%27%20height%3D%27800%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-200x133.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-400x267.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-600x400.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-800x533.webp 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp 1200w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 1200px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-17 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/implementing-prover-trident-for-sl-stockholm\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Implementing Prover Trident  for SL, Stockholm<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-11\" style=\"--awb-text-transform:var(--awb-typography4-text-transform);\"><p>In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.<\/p>\n<\/div><\/div><\/li>\n<\/ul><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-21 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-no-medium-visibility fusion-no-large-visibility fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-18 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"#\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\"><a href=\"https:\/\/www.prover.com\/references\/\">View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-9 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:90px;--awb-padding-bottom:50px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:30px;--awb-padding-bottom-small:10px;--awb-margin-top:40px;--awb-margin-bottom:140px;--awb-margin-top-small:40px;--awb-margin-bottom-small:60px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-22 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:50px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:50px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:0px;--awb-margin-bottom-small:60px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-19 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-bottom:0px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:0px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">SOFTWARE SOLUTION<\/h6><\/div><div class=\"fusion-title title fusion-title-20 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Prover Certifier &#8211; Ensure railway safety with 100% certainty<\/h2><\/div><div class=\"fusion-text fusion-text-12\"><p>The only sign-off verification tool on the market that allows you to automatically produce complete safety evidence using formal verification.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-4 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"\/products\/prover-certifier\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">To Prover Certifier<\/span><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default button-icon-right\" aria-hidden=\"true\"><\/i><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-23 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:40px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInRight\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-8 hover-type-none\"><img decoding=\"async\" width=\"674\" height=\"378\" alt=\"Certifier\" title=\"Certifier\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier.png\" class=\"lazyload img-responsive wp-image-14210\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27674%27%20height%3D%27378%27%20viewBox%3D%270%200%20674%20378%27%3E%3Crect%20width%3D%27674%27%20height%3D%27378%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier-200x112.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier-400x224.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier-600x336.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-certifier.png 674w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 674px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-10 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-right:30px;--awb-padding-bottom:0px;--awb-padding-left:30px;--awb-padding-top-small:0px;--awb-padding-right-small:0px;--awb-padding-bottom-small:0px;--awb-padding-left-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:40px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-24 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-padding-right:30px;--awb-padding-left:30px;--awb-padding-right-small:30px;--awb-padding-left-small:30px;--awb-bg-size:cover;--awb-width-large:100%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-2 fusion_builder_column_inner_1_2 1_2 fusion-flex-column\" style=\"--awb-padding-top:100px;--awb-padding-right:80px;--awb-padding-bottom:80px;--awb-padding-left:80px;--awb-padding-top-small:60px;--awb-padding-right-small:40px;--awb-padding-bottom-small:40px;--awb-padding-left-small:40px;--awb-bg-color:var(--awb-color3);--awb-bg-color-hover:var(--awb-color3);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:60px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:120px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-21 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-bottom:30px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">How much can you save by implementing Signaling Design Automation?<\/h2><\/div><div class=\"fusion-text fusion-text-13 fusion-text-no-margin\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-bottom:40px;\"><p>In this meeting you\u2019ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. <span style=\"color: #f4a220;\"><strong>And 100% secure system.<\/strong><\/span><\/p>\n<\/div><div class=\"fusion-image-carousel fusion-image-carousel-auto fusion-image-carousel-1 fusion-no-small-visibility fusion-no-medium-visibility\"><div class=\"awb-carousel awb-swiper awb-swiper-carousel awb-carousel--carousel awb-swiper-dots-position-bottom\" data-layout=\"carousel\" data-autoplay=\"yes\" data-autoplayspeed=\"2500\" data-autoplaypause=\"no\" data-columns=\"3\" data-columnsmedium=\"1\" data-columnssmall=\"1\" data-itemmargin=\"100\" data-itemwidth=\"180\" data-touchscroll=\"drag\" data-freemode=\"no\" data-imagesize=\"auto\" data-scrollitems=\"1\" data-centeredslides=\"no\" data-rotationangle=\"50\" data-depth=\"100\" data-speed=\"500\" data-shadow=\"no\" data-pagination=\"bullets\" style=\"--awb-columns:3;--awb-column-spacing:100px;--awb-caption-margin-top:80px;--awb-caption-margin-right:0px;--awb-caption-margin-bottom:40px;--awb-caption-margin-left:0px;\"><div class=\"swiper-wrapper awb-image-carousel-wrapper fusion-flex-align-items-stretch\"><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sl-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"SL\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sl-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sl-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sl-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/infrabel-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Infrabel\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/infrabel-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/infrabel-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/infrabel-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/ratp-logo-opacity.png\" class=\"attachment-full size-full lazyload\" alt=\"RATP\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/ratp-logo-opacity.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/ratp-logo-opacity-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/ratp-logo-opacity.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sweco-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"SWECO\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sweco-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sweco-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sweco-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/cp-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Canadian Pacific\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/cp-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/cp-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/cp-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/trafikverket-logo-opacity-3.png\" class=\"attachment-full size-full lazyload\" alt=\"Trafikverket\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/trafikverket-logo-opacity-3.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/trafikverket-logo-opacity-3-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/trafikverket-logo-opacity-3.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/atkins-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"ATKINS\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/atkins-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/atkins-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/atkins-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/mta-logo-opacity-3.png\" class=\"attachment-full size-full lazyload\" alt=\"New York City Transfer\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/mta-logo-opacity-3.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/mta-logo-opacity-3-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/mta-logo-opacity-3.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/siemens-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Siemens\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/siemens-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/siemens-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/siemens-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/thales-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Thales\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/thales-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/thales-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/thales-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/alstom-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Alstom\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/alstom-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/alstom-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/alstom-logo-opacity-300x200-1.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><div class=\"swiper-slide\"><div class=\"fusion-carousel-item-wrapper\"><div class=\"fusion-image-wrapper hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"200\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/HitachiRailSTS-logo.png\" class=\"attachment-full size-full lazyload\" alt=\"Hitachi Rail STS\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27300%27%20height%3D%27200%27%20viewBox%3D%270%200%20300%20200%27%3E%3Crect%20width%3D%27300%27%20height%3D%27200%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/HitachiRailSTS-logo.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/HitachiRailSTS-logo-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/05\/HitachiRailSTS-logo.png 300w\" data-sizes=\"auto\" \/><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-3 fusion_builder_column_inner_1_2 1_2 fusion-flex-column\" style=\"--awb-padding-top:100px;--awb-padding-right:80px;--awb-padding-bottom:100px;--awb-padding-left:80px;--awb-padding-top-small:60px;--awb-padding-right-small:40px;--awb-padding-bottom-small:40px;--awb-padding-left-small:40px;--awb-bg-color:var(--awb-custom_color_4);--awb-bg-color-hover:var(--awb-custom_color_4);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\">\n\t\t\t\t\t\t<script>\n\t\t\t\t\t\t\twindow.hsFormsOnReady = window.hsFormsOnReady || [];\n\t\t\t\t\t\t\twindow.hsFormsOnReady.push(()=>{\n\t\t\t\t\t\t\t\thbspt.forms.create({\n\t\t\t\t\t\t\t\t\tportalId: 26789739,\n\t\t\t\t\t\t\t\t\tformId: \"8014499a-2fde-460e-8cd7-67ac456fd1ae\",\n\t\t\t\t\t\t\t\t\ttarget: \"#hbspt-form-1776215708000-1285130075\",\n\t\t\t\t\t\t\t\t\tregion: \"eu1\",\n\t\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t})});\n\t\t\t\t\t\t<\/script>\n\t\t\t\t\t\t<div class=\"hbspt-form\" id=\"hbspt-form-1776215708000-1285130075\"><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-11 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling hide\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:30px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-25 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.16 * calc( 100% - 80px ) );--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:calc( 0.16 * calc( 100% - 80px ) );--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-4 fusion_builder_column_inner_1_3 1_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.06 * calc( 100% - 80px ) );--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.06 * calc( 100% - 80px ) );--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:200px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-9 hover-type-none img-rounded-corners\"><img decoding=\"async\" width=\"1129\" height=\"1129\" alt=\"testimonial-3-female\" title=\"Happy Young Lady\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271129%27%20height%3D%271129%27%20viewBox%3D%270%200%201129%201129%27%3E%3Crect%20width%3D%271129%27%20height%3D%271129%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/04\/testimonial-3-female-jpeg.webp\" class=\"lazyload img-responsive wp-image-650\"\/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-5 fusion_builder_column_inner_2_3 2_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:66.666666666667%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-14\"><p><strong>Mats Boman<\/strong><br \/>\n<strong>Title, Prover<\/strong><\/p>\n<p><em>\u201dWe can map the complete workings of a unit at the heart of the cycle, look inside it and see what\u2019s going on.\u201d<\/em><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-26 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.16 * calc( 100% - 80px ) );--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:calc( 0.16 * calc( 100% - 80px ) );--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-6 fusion_builder_column_inner_1_3 1_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.06 * calc( 100% - 80px ) );--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.06 * calc( 100% - 80px ) );--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:200px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-10 hover-type-none img-rounded-corners\"><img decoding=\"async\" width=\"1129\" height=\"1129\" alt=\"testimonial-3-female\" title=\"Happy Young Lady\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271129%27%20height%3D%271129%27%20viewBox%3D%270%200%201129%201129%27%3E%3Crect%20width%3D%271129%27%20height%3D%271129%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/04\/testimonial-3-female-jpeg.webp\" class=\"lazyload img-responsive wp-image-650\"\/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-7 fusion_builder_column_inner_2_3 2_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:66.666666666667%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-15\"><p><strong>Mats Boman<\/strong><br \/>\n<strong>Title, Prover<\/strong><\/p>\n<p><em>\u201dWe can map the complete workings of a unit at the heart of the cycle, look inside it and see what\u2019s going on.\u201d<\/em><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":14188,"parent":13681,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-14179","page","type-page","status-publish","has-post-thumbnail","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formal verification - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.\" \/>\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\/solutions\/signaling-design-automation\/formal-verification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal verification - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-06T13:15:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1400\" \/>\n\t<meta property=\"og:image:height\" content=\"641\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"8 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/\",\"url\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/\",\"name\":\"Formal verification - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp\",\"datePublished\":\"2023-04-11T19:56:22+00:00\",\"dateModified\":\"2025-06-06T13:15:20+00:00\",\"description\":\"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp\",\"width\":1400,\"height\":641,\"caption\":\"Formal Verification\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Solutions\",\"item\":\"https:\/\/www.prover.com\/solutions\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Signaling Design Automation\",\"item\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Formal verification\"}]},{\"@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\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal verification - Prover - Engineering a Safer World","description":"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.","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\/solutions\/signaling-design-automation\/formal-verification\/","og_locale":"en_US","og_type":"article","og_title":"Formal verification - Prover - Engineering a Safer World","og_description":"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.","og_url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-06-06T13:15:20+00:00","og_image":[{"width":1400,"height":641,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"8 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/","url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/","name":"Formal verification - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp","datePublished":"2023-04-11T19:56:22+00:00","dateModified":"2025-06-06T13:15:20+00:00","description":"The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.","breadcrumb":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Verification1a-jpg.webp","width":1400,"height":641,"caption":"Formal Verification"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Solutions","item":"https:\/\/www.prover.com\/solutions\/"},{"@type":"ListItem","position":3,"name":"Signaling Design Automation","item":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/"},{"@type":"ListItem","position":4,"name":"Formal verification"}]},{"@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\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14179","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=14179"}],"version-history":[{"count":59,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14179\/revisions"}],"predecessor-version":[{"id":21911,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14179\/revisions\/21911"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/13681"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14188"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=14179"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}