{"id":14137,"date":"2023-04-11T19:42:52","date_gmt":"2023-04-11T18:42:52","guid":{"rendered":"https:\/\/stage.prover.com\/?page_id=14137"},"modified":"2025-01-13T15:38:48","modified_gmt":"2025-01-13T14:38:48","slug":"formal-development","status":"publish","type":"page","link":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/","title":{"rendered":"Formal development"},"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 top;--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.42) 0%,rgba(12,41,84,0.73) 100%);;--awb-background-size:cover;--awb-flex-wrap:wrap;background-attachment:fixed;\" data-bg=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\" data-bg-gradient=\"linear-gradient(180deg, rgba(12,41,84,0.42) 0%,rgba(12,41,84,0.73) 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 development<\/h1><\/div><div class=\"fusion-title title fusion-title-2 fusion-no-medium-visibility fusion-no-large-visibility fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:28pt;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"font-family:var(--awb-custom_typography_2-font-family);font-weight:var(--awb-custom_typography_2-font-weight);font-style:var(--awb-custom_typography_2-font-style);margin:0;letter-spacing:var(--awb-custom_typography_2-letter-spacing);text-transform:none;font-size:1em;line-height:var(--awb-custom_typography_2-line-height);\">Formal Development<\/h1><\/div><div class=\"fusion-text fusion-text-1 fusion-no-small-visibility fusion-text-no-margin\" style=\"--awb-font-size:var(--awb-custom_typography_6-font-size);--awb-line-height:var(--awb-custom_typography_6-line-height);--awb-letter-spacing:var(--awb-custom_typography_6-letter-spacing);--awb-text-transform:var(--awb-custom_typography_6-text-transform);--awb-text-color:var(--awb-color1);--awb-margin-top:15px;--awb-margin-bottom:25px;--awb-text-font-family:var(--awb-custom_typography_6-font-family);--awb-text-font-weight:var(--awb-custom_typography_6-font-weight);--awb-text-font-style:var(--awb-custom_typography_6-font-style);\"><p>Automating code generation of software systems using formal methods.<\/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>The process of creating software systems using formal methods.<\/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;--awb-font-size:14px;\"><h6 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;letter-spacing:0.8px;text-transform:uppercase;font-size:1em;\">Automating software development<\/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;\"><p>There is an easier route to rail control<br \/>\nsoftware development<\/p><\/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>In the endeavor to develop rail control software that meets demands for efficient rail transportation, both now and in the future, many of today\u2019s infrastructure managers find themselves impeded by a number of frustrating roadblocks.<\/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>These include long and unpredictable schedules, a general lack of control over systems, and dominant industry issues such as the current oligopoly of system suppliers who deliver systems without consideration for open standards and interfaces.<\/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:100px;--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;\">Formal methods<\/h6><\/div><div class=\"fusion-title title fusion-title-6 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Formal development to overcome costly barriers in rail control projects<\/h2><\/div><div class=\"fusion-text fusion-text-5\"><p>The process used to overcome the common challenges in rail control software projects is Signaling Design Automation. It is a set of automation tools and processes based on formal methods that can be used to develop software for rail control systems.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/\">Read more about Signaling Design Automation<\/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=\"765\" height=\"465\" alt=\"Formal methods\" title=\"Formal methods\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-jpg.webp\" class=\"lazyload img-responsive wp-image-14146\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/eugene-chystiakov-b1Nn2sUeMHY-unsplash-1-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 765px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-4 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:80px;--awb-padding-bottom:40px;--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-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:80px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeInRight\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-2 hover-type-none\"><img decoding=\"async\" width=\"765\" height=\"465\" alt=\"SDA\" title=\"SDA\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-jpg.webp\" class=\"lazyload img-responsive wp-image-14148\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/william-daigneault-oWrZoAVOBS0-unsplash-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 600px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-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\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-7 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\"><p>SDA integrates formal methods<br \/>\ninto an automated development process<\/p><\/h2><\/div><div class=\"fusion-text fusion-text-6\" style=\"--awb-text-transform:none;\"><p>SDA combines automation with the tools that formal methods offer to ensure that you can efficiently develop rail control systems and verify that they meet requirements during Verification and<br \/>\nValidation (V&amp;V). The automation tools can be used to your advantage at every phase of the software development process \u2013 from establishing requirements to system development and maintenance.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-5 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:40px;--awb-padding-bottom:60px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:0px;--awb-padding-bottom-small:40px;--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-8 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-animated\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:80px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:80px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-spacing-right-small:0px;--awb-margin-bottom-small:60px;--awb-spacing-left-small:0px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-8 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Gain more control over your system and quickly identify issues<\/h2><\/div><div class=\"fusion-text fusion-text-7\"><p>Capturing requirements for safely testing undefined system configurations is a key concept in the SDA process. This includes a clear separation of different types of requirements (configuration,<br \/>\ninterfaces, safety, and test). SDA also promotes the use of open and standardized component formats and interfaces. As a result, you as an infrastructure manager gain more control over your system and acquire the ability to quickly identify and debug<br \/>\nrequirement issues before they become a major problem.<\/p>\n<\/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-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-3 hover-type-none\"><img decoding=\"async\" width=\"765\" height=\"465\" alt=\"System control\" title=\"System control\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-jpg.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-jpg.webp\" class=\"lazyload img-responsive wp-image-14147\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27765%27%20height%3D%27465%27%20viewBox%3D%270%200%20765%20465%27%3E%3Crect%20width%3D%27765%27%20height%3D%27465%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-200x122.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-400x243.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-600x365.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/charlesdeluvio-pjAH2Ax4uWk-unsplash-1-jpg.webp 765w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 765px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-6 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-margin-top:40px;--awb-margin-bottom:120px;--awb-margin-top-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-10 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--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-title title fusion-title-9 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">How does formal development work?<\/h3><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-11 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--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: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-margin-bottom:25px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-4 hover-type-none\"><img decoding=\"async\" width=\"34\" height=\"48\" alt=\"Generation of requirements\" title=\"Generation of requirements\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2734%27%20height%3D%2748%27%20viewBox%3D%270%200%2034%2048%27%3E%3Crect%20width%3D%2734%27%20height%3D%2748%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Generation-of-requirements1.svg\" class=\"lazyload img-responsive wp-image-14163\"\/><\/span><\/div><div class=\"fusion-title title fusion-title-10 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">1. Generation of requirements<\/h4><\/div><div class=\"fusion-text fusion-text-8\"><p>Generic requirements for a given type of system are specified and formalized, with a clear separation of design, safety and test requirements. Design, test cases and safety requirements are generated for each application developed.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-12 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--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-image-element \" style=\"--awb-margin-bottom:25px;--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-5 hover-type-none\"><img decoding=\"async\" width=\"64\" height=\"48\" alt=\"Configuration\" title=\"Configuration\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2764%27%20height%3D%2748%27%20viewBox%3D%270%200%2064%2048%27%3E%3Crect%20width%3D%2764%27%20height%3D%2748%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Configuration-icon1.svg\" class=\"lazyload img-responsive wp-image-14167\"\/><\/span><\/div><div class=\"fusion-title title fusion-title-11 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">2. Configuration<\/h4><\/div><div class=\"fusion-text fusion-text-9\"><p>The data is split into generic and specific configuration data. From there, you can configure the individual signaling system that you are developing. The tool will take care of creating the specific requirements from your specifications for that particular configuration.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-13 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--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: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-margin-bottom:25px;--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-6 hover-type-none\"><img decoding=\"async\" width=\"51\" height=\"47\" alt=\"Automated verification and validation\" title=\"Automated verification and validation\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2751%27%20height%3D%2747%27%20viewBox%3D%270%200%2051%2047%27%3E%3Crect%20width%3D%2751%27%20height%3D%2747%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/verification-and-validation-icon1-1.svg\" class=\"lazyload img-responsive wp-image-14168\"\/><\/span><\/div><div class=\"fusion-title title fusion-title-12 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">3. Automated verification and validation<\/h4><\/div><div class=\"fusion-text fusion-text-10\"><p>The safety requirements are formally verified and test cases simulated. Detailed verification and test reports are generated.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-14 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--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-image-element \" style=\"--awb-margin-bottom:25px;--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=\"50\" height=\"37\" title=\"Code generation\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2750%27%20height%3D%2737%27%20viewBox%3D%270%200%2050%2037%27%3E%3Crect%20width%3D%2750%27%20height%3D%2737%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Code-generation-icon1.svg\" alt class=\"lazyload img-responsive wp-image-14169\"\/><\/span><\/div><div class=\"fusion-title title fusion-title-13 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">4. Code generation<\/h4><\/div><div class=\"fusion-text fusion-text-11\"><p>Code generation tools convert your design into software code to be compiled, configured and installed on the computing platform of the rail control system. This is the software that will be executed on the actual system in the field.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-7 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:10px;--awb-margin-top:40px;--awb-margin-bottom:40px;--awb-margin-bottom-small:40px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-15 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-8 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-16 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-14 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-8 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-sizes-top:0px;--awb-border-sizes-bottom:0px;--awb-border-sizes-left:0px;--awb-border-sizes-right:0px;--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:80px;--awb-padding-bottom:40px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:40px;--awb-padding-top-small:40px;--awb-padding-bottom-small:40px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-17 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-15 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-16 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-18 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-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=\"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-19 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-20 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-9 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-18 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-12\" 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-21 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-10 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-19 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-13\" 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-22 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-11 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-20 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-14\" 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-23 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-21 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"#\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\"><a href=\"https:\/\/www.prover.com\/references\/\">View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-9 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-color:var(--awb-color1);--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:90px;--awb-padding-bottom:50px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:30px;--awb-padding-bottom-small:10px;--awb-margin-top:40px;--awb-margin-bottom:140px;--awb-margin-top-small:40px;--awb-margin-bottom-small:60px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-24 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-22 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-23 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 iLock &#8211; Railway interlocking simulator, document &amp; code generator, and verifier.<\/h2><\/div><div class=\"fusion-text fusion-text-15\"><p>The desktop tool for producing fully documented, tested and verified application software for railway interlocking systems.<\/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-ilock\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">To Prover iLock<\/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-25 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-12 hover-type-none\"><img decoding=\"async\" width=\"674\" height=\"378\" alt=\"iLock\" title=\"iLock\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-Ilock.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-Ilock.png\" class=\"lazyload img-responsive wp-image-14155\" 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-Ilock-200x112.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-Ilock-400x224.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-Ilock-600x336.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/computer-Ilock.png 674w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 674px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-10 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-right:30px;--awb-padding-bottom:0px;--awb-padding-left:30px;--awb-padding-top-small:0px;--awb-padding-right-small:0px;--awb-padding-bottom-small:0px;--awb-padding-left-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:40px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-26 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-24 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-16 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-1776215706000-2901138107\",\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-1776215706000-2901138107\"><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-11 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling hide\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:30px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-27 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-13 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-17\"><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-28 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-14 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-18\"><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":14041,"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-14137","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 development - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.\" \/>\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-development\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal development - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T14:38:48+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"800\" \/>\n\t<meta property=\"og:image:height\" content=\"450\" \/>\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=\"28 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-development\/\",\"url\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/\",\"name\":\"Formal development - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"datePublished\":\"2023-04-11T18:42:52+00:00\",\"dateModified\":\"2025-01-13T14:38:48+00:00\",\"description\":\"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"width\":800,\"height\":450},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#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 development\"}]},{\"@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 development - Prover - Engineering a Safer World","description":"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.","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-development\/","og_locale":"en_US","og_type":"article","og_title":"Formal development - Prover - Engineering a Safer World","og_description":"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.","og_url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-13T14:38:48+00:00","og_image":[{"width":800,"height":450,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"28 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/","url":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/","name":"Formal development - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","datePublished":"2023-04-11T18:42:52+00:00","dateModified":"2025-01-13T14:38:48+00:00","description":"In the endeavor to develop rail control software many infrastructure managers find themselves impeded by a number of frustrating roadblocks.","breadcrumb":{"@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","width":800,"height":450},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/solutions\/signaling-design-automation\/formal-development\/#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 development"}]},{"@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\/14137","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=14137"}],"version-history":[{"count":50,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14137\/revisions"}],"predecessor-version":[{"id":21016,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14137\/revisions\/21016"}],"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\/14041"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=14137"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}