{"id":14065,"date":"2023-04-11T17:56:23","date_gmt":"2023-04-11T16:56:23","guid":{"rendered":"https:\/\/stage.prover.com\/?page_id=14065"},"modified":"2025-01-09T15:05:29","modified_gmt":"2025-01-09T14:05:29","slug":"formal-specification","status":"publish","type":"page","link":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/","title":{"rendered":"Formal specification"},"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-background-position:center bottom;--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.55) 0%,rgba(12,41,84,0.67) 100%);;--awb-background-size:cover;--awb-flex-wrap:wrap;background-attachment:fixed;\" data-bg=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1a-jpg.webp\" data-bg-gradient=\"linear-gradient(180deg, rgba(12,41,84,0.55) 0%,rgba(12,41,84,0.67) 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 specification<\/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-two\" 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;\"><h2 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 specification<\/h2><\/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>A mathematical description (formalization) of the properties and behavior of a software system.<\/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>A mathematical description of the properties and behavior of a software system.<\/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;\">THE IMPORTANCE OF QUALITY SPECIFICATIONS<\/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;\">Specifying your requirements in the tender process is a critical first step<\/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>Of all the steps involved in the tendering process for railway signaling systems, one thing can impact your project the most \u2013 your new system\u2019s specifications.<\/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>Any errors or omissions in your specifications will impact the later steps in the tender and development process. Mistakes introduced early and discovered late will be costly to correct.<\/p>\n<\/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:110px;--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-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-4 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;\">Digital Twin<\/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;\">How to get your rail control project off to a better start<\/h2><\/div><div class=\"fusion-text fusion-text-5\"><p>At Prover we help you getting the specifications right from the start, already at the tendering phase. Getting the specifications right from the start will help you avoid costly mistakes and ensure the right system is built in the first place.<\/p>\n<p>To ensure your specifications are high-quality, we validate them through simulation and formal verification. This is done with our formal methods and the digital twin of your existing and future system.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/solutions\/digital-twin\/\">Read more about a digital twin in rail <\/a><a href=\"\/solutions\/digital-twin\/\">control<\/a><a href=\"https:\/\/www.prover.com\/solutions\/digital-twin\/\"> project<\/a>.<\/p>\n<\/div><\/div><\/div><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-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=\"800\" height=\"472\" alt=\"Rail control project\" title=\"Rail control project\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-jpg.webp\" class=\"lazyload img-responsive wp-image-14090\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27800%27%20height%3D%27472%27%20viewBox%3D%270%200%20800%20472%27%3E%3Crect%20width%3D%27800%27%20height%3D%27472%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-200x118.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-400x236.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-600x354.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/rail-control-project1-jpg.webp 800w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 800px\" \/><\/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:40px;--awb-padding-bottom:60px;--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-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:40px;--awb-margin-bottom-large:40px;--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-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" 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-2 hover-type-none\"><img decoding=\"async\" width=\"383\" height=\"422\" alt=\"digital twin rail control\" title=\"digital twin rail control\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27383%27%20height%3D%27422%27%20viewBox%3D%270%200%20383%20422%27%3E%3Crect%20width%3D%27383%27%20height%3D%27422%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/digital-twin-rail-control.svg\" class=\"lazyload img-responsive wp-image-16619\"\/><\/span><\/div><\/div><\/div><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-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\"><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-six\" style=\"--awb-margin-bottom:0px;--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;\">FORMAL METHODS<\/h6><\/div><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;\">How to develop specifications and digital twins using formal methods<\/h2><\/div><div class=\"fusion-text fusion-text-6\" style=\"--awb-text-transform:none;\"><p>When creating a digital twin of your rail control system, the first step is to specify the requirements for the function and safety of the system. These requirements are then used to define the design specification for the implementation.<\/p>\n<p>An object model is also defined, serving as a common interface for the test, safety and design specifications, so that these can be developed independently. The digital twin is then used in an iterative process to validate and refine the requirements.<\/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-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:40px;--awb-padding-bottom:100px;--awb-padding-top-small:20px;--awb-padding-bottom-small:70px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-background-color:var(--awb-color1);--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-8 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:10px;--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-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-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;\">High-quality and formal specifications make it possible to:<\/h2><\/div><\/div><\/div><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-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-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\"><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>Procure the best solution and service for the best price<\/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>Efficiently handle change requests and upgrades after commissioning<\/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>Minimize risk for project delays<\/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>Automatically prove safety<\/p>\n<\/div><\/li><\/ul><\/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-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-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\"><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-2 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>Automate the development process<\/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>Validate that the delivered system meets requirements and expectations<\/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>Simplify maintenance and upgrades after commissioning<\/p>\n<\/div><\/li><\/ul><\/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: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-11 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-3 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-12 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-10 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 develop rail control software with signaling design automation and digital twins<\/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-1 fusion-button-default-span fusion-button-default-type\" style=\"--button_margin-top:0px;\" target=\"_self\" href=\"\/guide\/how-to-develop-rail-control-software-with-signaling-design-automation-and-digital-twins\/\"><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>\n<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-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-13 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-11 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-12 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-14 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-13 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-15 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-16 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-4 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-14 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-7\" 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-17 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\/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-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\/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-8\" 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-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-6 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-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\/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-9\" 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-19 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-17 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-8 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-20 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-18 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-19 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 Studio &#8211; An integrated development environment for formal specifications<\/h2><\/div><div class=\"fusion-text fusion-text-10\"><p>Prover Studio is a development environment integrated with the Prover iLock tool that helps you manage, develop and maintain formal specifications.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-2 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"\/products\/prover-studio\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">To Prover studio<\/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-21 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-7 hover-type-none\"><img decoding=\"async\" width=\"674\" height=\"378\" alt=\"Studio\" title=\"Studio\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-studio.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-studio.png\" class=\"lazyload img-responsive wp-image-14122\" 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-studio-200x112.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-studio-400x224.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-studio-600x336.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-studio.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-9 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-22 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-20 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-11 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-1776215703000-5586620048\",\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-1776215703000-5586620048\"><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n<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 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-23 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-8 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-12\"><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-24 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-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-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-13\"><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":13462,"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-14065","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 specification<\/title>\n<meta name=\"description\" content=\"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.\" \/>\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-specification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal specification\" \/>\n<meta property=\"og:description\" content=\"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T14:05:29+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"612\" \/>\n\t<meta property=\"og:image:height\" content=\"408\" \/>\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-specification\/\",\"url\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/\",\"name\":\"Formal specification\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp\",\"datePublished\":\"2023-04-11T16:56:23+00:00\",\"dateModified\":\"2025-01-09T14:05:29+00:00\",\"description\":\"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp\",\"width\":612,\"height\":408,\"caption\":\"Formal specification\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#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 specification\"}]},{\"@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 specification","description":"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.","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-specification\/","og_locale":"en_US","og_type":"article","og_title":"Formal specification","og_description":"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.","og_url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-09T14:05:29+00:00","og_image":[{"width":612,"height":408,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-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-specification\/","url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/","name":"Formal specification","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp","datePublished":"2023-04-11T16:56:23+00:00","dateModified":"2025-01-09T14:05:29+00:00","description":"Getting the specifications right from the start will help you avoid costly missteps and ensure the right system is built in the first place.","breadcrumb":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Specification1-jpg.webp","width":612,"height":408,"caption":"Formal specification"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-specification\/#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 specification"}]},{"@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\/14065","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=14065"}],"version-history":[{"count":79,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14065\/revisions"}],"predecessor-version":[{"id":20763,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14065\/revisions\/20763"}],"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\/13462"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=14065"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}