{"id":20303,"date":"2024-10-15T09:13:42","date_gmt":"2024-10-15T08:13:42","guid":{"rendered":"https:\/\/www.prover.com\/?page_id=20303"},"modified":"2025-05-21T15:02:22","modified_gmt":"2025-05-21T14:02:22","slug":"prover-station","status":"publish","type":"page","link":"https:\/\/www.prover.com\/products\/prover-station\/","title":{"rendered":"Prover Station"},"content":{"rendered":"<p><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 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:60px;--awb-padding-bottom:50px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-background-color:var(--awb-color1);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-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-flex-column fusion-flex-align-self-center\" style=\"--awb-bg-size:cover;--awb-width-large:42%;--awb-margin-top-large:0px;--awb-spacing-right-large:50px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:50px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:1;--awb-margin-top-small:30px;--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-center fusion-content-layout-column\"><nav class=\"fusion-breadcrumbs fusion-no-small-visibility awb-yoast-breadcrumbs fusion-breadcrumbs-1\" style=\"--awb-margin-bottom:30px;--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-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-bottom:0px;--awb-margin-top-small:0px;--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 Development<\/h6><\/div><div class=\"fusion-title title fusion-title-2 fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-margin-top:15px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;--awb-font-size:37px;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Prover Station<\/h1><\/div><div class=\"fusion-text fusion-text-1\"><p><b>The platform for safe and efficient rail signaling<\/b><\/p>\n<p>Prover Station is a next-generation, web-based platform designed to simplify the design, verification, and validation (V&amp;V) of complex rail and metro signaling systems. By integrating advanced tools such as digital twins with simulation and formal verification, Prover Station ensures that your projects meet the highest safety standards while optimizing performance across the board. Available both on-premises and in the cloud, Prover Station is built to evolve with your needs.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-1 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"#bookademo\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Book a demo<\/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-1 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-bg-size:cover;--awb-width-large:58%;--awb-margin-top-large:40px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:1;--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-center fusion-content-layout-column\"><div class=\"fusion-video fusion-youtube\" style=\"--awb-max-width:900px;--awb-max-height:506px;--awb-align-self:center;--awb-width:100%;\"><div class=\"video-shortcode\"><div class=\"fluid-width-video-wrapper\" style=\"padding-top:56.22%;\" ><iframe class=\"lazyload\" title=\"YouTube video player 1\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27900%27%20height%3D%27506%27%20viewBox%3D%270%200%20900%20506%27%3E%3Crect%20width%3D%27900%27%20height%3D%27506%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.youtube.com\/embed\/ZYRdbOqkoHU?wmode=transparent&autoplay=0&amp;controls=0&amp;rel=0&amp;cc_lang_pref=en&amp;cc_load_policy=0&amp;hl=en\" width=\"900\" height=\"506\" allowfullscreen allow=\"autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture;\"><\/iframe><\/div><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background hundred-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:0px;--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-background-color:rgba(246,246,246,0);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-end fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"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 fusion-builder-column-2 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-flex-align-self-flex-end fusion-animated\" style=\"--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-bg-size:cover;--awb-width-large:100%;--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-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-image-carousel fusion-image-carousel-fixed fusion-image-carousel-1 fusion-no-small-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=\"6\" data-columnsmedium=\"1\" data-columnssmall=\"1\" data-itemmargin=\"100\" data-itemwidth=\"180\" data-touchscroll=\"drag\" data-freemode=\"no\" data-imagesize=\"fixed\" data-scrollitems=\"1\" data-centeredslides=\"no\" data-rotationangle=\"50\" data-depth=\"100\" data-speed=\"500\" data-shadow=\"no\" data-pagination=\"bullets\" style=\"--awb-columns:6;--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-center\"><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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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\/alstom-logo-opacity-300x200-1.png\" class=\"attachment-blog-medium size-blog-medium 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\/04\/mta-logo-opacity-3.png\" class=\"attachment-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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-blog-medium size-blog-medium 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=\"272\" height=\"81\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png\" class=\"attachment-blog-medium size-blog-medium lazyload\" alt=\"\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27272%27%20height%3D%2781%27%20viewBox%3D%270%200%20272%2081%27%3E%3Crect%20width%3D%27272%27%20height%3D%2781%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus-200x60.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png 272w\" 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=\"201\" height=\"79\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27201%27%20height%3D%2779%27%20viewBox%3D%270%200%20201%2079%27%3E%3Crect%20width%3D%27201%27%20height%3D%2779%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" class=\"attachment-blog-medium size-blog-medium lazyload\" alt=\"\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Hitachi-1.png\" \/><\/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=\"157\" height=\"156\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27157%27%20height%3D%27156%27%20viewBox%3D%270%200%20157%20156%27%3E%3Crect%20width%3D%27157%27%20height%3D%27156%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" class=\"attachment-blog-medium size-blog-medium lazyload\" alt=\"\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Systra-1.png\" \/><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-image-carousel fusion-image-carousel-auto fusion-image-carousel-2 fusion-no-medium-visibility fusion-no-large-visibility\" style=\"margin-top:40px;margin-right:0px;margin-bottom:0px;margin-left:0px;\"><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=\"40\" data-itemwidth=\"180\" data-touchscroll=\"no\" 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:40px;--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\/bombardier-logo-opacity-300x200-1.png\" class=\"attachment-full size-full lazyload\" alt=\"Bombardier\" 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\/bombardier-logo-opacity-300x200-1.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/bombardier-logo-opacity-300x200-1-200x133.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/bombardier-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=\"272\" height=\"81\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png\" class=\"attachment-full size-full lazyload\" alt=\"\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27272%27%20height%3D%2781%27%20viewBox%3D%270%200%20272%2081%27%3E%3Crect%20width%3D%27272%27%20height%3D%2781%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus-200x60.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Cactus.png 272w\" 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=\"201\" height=\"79\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27201%27%20height%3D%2779%27%20viewBox%3D%270%200%20201%2079%27%3E%3Crect%20width%3D%27201%27%20height%3D%2779%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" class=\"attachment-full size-full lazyload\" alt=\"\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Hitachi-1.png\" \/><\/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=\"157\" height=\"156\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27157%27%20height%3D%27156%27%20viewBox%3D%270%200%20157%20156%27%3E%3Crect%20width%3D%27157%27%20height%3D%27156%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" class=\"attachment-full size-full lazyload\" alt=\"\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/11\/Systra-1.png\" \/><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n<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-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left: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-3 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:50px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-3 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;\">Key features<\/h6><\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:1px;\"><\/div><\/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-bottom:60px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start 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-4 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-image-element \" style=\"text-align:center;--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=\"720\" height=\"480\" alt=\"Hackatons - producing innovative ideas for the railway industry\" title=\"Hackatons &#8211; producing innovative ideas for the railway industry\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1.webp\" class=\"lazyload img-responsive wp-image-20310\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27720%27%20height%3D%27480%27%20viewBox%3D%270%200%20720%20480%27%3E%3Crect%20width%3D%27720%27%20height%3D%27480%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1-200x133.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1-400x267.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1-600x400.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station1-720x480-1.webp 720w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 720px\" \/><\/span><\/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\" 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-title title fusion-title-4 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:28px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Complete digital twin management<\/h2><\/div><div class=\"fusion-text fusion-text-2\"><p>Prover Station provides a state-of-the-art solution for managing digital twins, offering real-time simulations to help engineers design and optimize system performance. With the ability to aggregate multiple digital twins into a cohesive model, you gain full visibility of your signaling system, from broad overviews to detailed components. This approach improves decision-making, anticipates issues, and reduces downtime \u2013 all without requiring any programming expertise. Built-in simulation capabilities provide precise models of many different platforms for signaling systems such as interlocking, ETCS RBC and CBTC.<\/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=\"#bookademo\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Book a demo<\/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 class=\"fusion-fullwidth fullwidth-box fusion-builder-row-5 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-bottom:60px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start 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-6 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:1;--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-title title fusion-title-5 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:28px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Streamlined formal verification<\/h2><\/div><div class=\"fusion-text fusion-text-3\"><p>Prover Station simplifies formal verification with a highly visual and intuitive workflow. Organize verification and validation tasks into proof projects that provide progress tracking and status overviews. Use formal verification throughout your development cycle to ensure that issues are identified early, saving time and cost in later stages of development. The customizable nature of Prover Station allows users to define safety requirements of their own. Results have been certified to meet the strictest industry regulations of CENELEC EN 50128 and EN 50716 SIL 4.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-3 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"#bookademo\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Book a demo<\/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-7 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-image-element \" style=\"text-align:center;--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=\"720\" height=\"480\" title=\"Streamlined Formal Verification\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1.webp\" alt class=\"lazyload img-responsive wp-image-20311\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27720%27%20height%3D%27480%27%20viewBox%3D%270%200%20720%20480%27%3E%3Crect%20width%3D%27720%27%20height%3D%27480%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1-200x133.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1-400x267.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1-600x400.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station2-720x480-1.webp 720w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 720px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-6 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-bottom:100px;--awb-padding-bottom-small:40px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-8 fusion_builder_column_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-image-element \" style=\"text-align:center;--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=\"720\" height=\"480\" title=\"Seamless integration and future-proof development\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1.webp\" alt class=\"lazyload img-responsive wp-image-20312\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27720%27%20height%3D%27480%27%20viewBox%3D%270%200%20720%20480%27%3E%3Crect%20width%3D%27720%27%20height%3D%27480%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1-200x133.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1-400x267.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1-600x400.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station3-720x480-1.webp 720w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 720px\" \/><\/span><\/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\" 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-title title fusion-title-6 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:28px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Seamless integration and future-proof development<\/h2><\/div><div class=\"fusion-text fusion-text-4\"><p>Designed with scalability in mind, Prover Station integrates effortlessly with your existing IT systems through APIs, allowing transfer of data between systems, as well as automation of tasks in Prover Station. Industry-standard protocols like MQTT and OPC-UA are supported for simulation, which allows for hardware-in-the-loop testing and integration with third-party simulators. If your current systems don\u2019t support these protocols, it is usually straightforward to develop the necessary adapters.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-4 fusion-button-default-span fusion-button-default-type\" target=\"_self\" href=\"#bookademo\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Book a demo<\/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 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:100px;--awb-padding-bottom:80px;--awb-padding-top-small:50px;--awb-padding-bottom-small:20px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--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-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-10 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:50px;--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:10px;--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-7 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;\">Why Prover Station?<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-11 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:40%;--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=\"text-align:center;--awb-margin-bottom:30px;--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 box-shadow\"><a href=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2.png\" class=\"fusion-lightbox\" data-rel=\"iLightbox[c64a976fb84f45bce40]\" data-title=\"Prover-station-screen-2\" title=\"Prover-station-screen-2\"><img decoding=\"async\" width=\"1920\" height=\"1068\" alt=\"Prover station software\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2.png\" class=\"lazyload img-responsive wp-image-20384\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271920%27%20height%3D%271068%27%20viewBox%3D%270%200%201920%201068%27%3E%3Crect%20width%3D%271920%27%20height%3D%271068%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2-200x111.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2-400x223.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2-600x334.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2-800x445.png 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2-1200x668.png 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-2.png 1920w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 1920px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-8 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;--awb-font-size:21px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Built for non-experts and experts alike<\/h4><\/div><div class=\"fusion-text fusion-text-5\"><p>Prover Station\u2019s intuitive interface allows signaling engineers to easily engage with prototyping, design, and validation tasks, also if they have no experience with software programming. Extensive visualization and graphical representations aid collaboration between experts and those who want to learn.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-12 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:40px;--awb-width-medium:40%;--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=\"text-align:center;--awb-margin-bottom:30px;--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 box-shadow\"><a href=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1.png\" class=\"fusion-lightbox\" data-rel=\"iLightbox[20eb4ab947e0e89f2ec]\" data-title=\"Prover-station-screen-1\" title=\"Prover-station-screen-1\"><img decoding=\"async\" width=\"1920\" height=\"1068\" alt=\"Prover station software\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1.png\" class=\"lazyload img-responsive wp-image-20385\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271920%27%20height%3D%271068%27%20viewBox%3D%270%200%201920%201068%27%3E%3Crect%20width%3D%271920%27%20height%3D%271068%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1-200x111.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1-400x223.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1-600x334.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1-800x445.png 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1-1200x668.png 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-screen-1.png 1920w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 600px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-9 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;--awb-font-size:21px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">A platform that grows with you<\/h4><\/div><div class=\"fusion-text fusion-text-6\"><p>Prover Station is continuously evolving, with planned developments focusing on digital twins, data preparation capabilities, and third-party tool integrations. This ongoing innovation ensures that Prover Station will continue to meet your future signaling project needs.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div id=\"bookademo\" class=\"fusion-container-anchor\"><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 fusion-no-small-visibility\" 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-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-13 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0;--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-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:20px;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:0px;\"><\/div><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-9 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-right-small:0px;--awb-padding-left-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-14 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-padding-top:80px;--awb-padding-right:60px;--awb-padding-bottom:100px;--awb-padding-left:60px;--awb-padding-top-small:50px;--awb-padding-right-small:30px;--awb-padding-bottom-small:50px;--awb-padding-left-small:30px;--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:40px;--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:0;--awb-spacing-right-small:0px;--awb-spacing-left-small:0px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-10 fusion-sep-none fusion-title-text fusion-title-size-six\" 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;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">Book A demo<\/h6><\/div><div class=\"fusion-title title fusion-title-11 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;\">Get started with Prover Station<\/h2><\/div><div class=\"fusion-text fusion-text-7 fusion-text-no-margin\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-bottom:20px;\"><p>Ready to optimize your rail signaling projects? Request a demo today or download product materials to see how Prover Station can drive safety, efficiency, and innovation across your next project.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-15 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-padding-top:80px;--awb-padding-right:60px;--awb-padding-bottom:60px;--awb-padding-left:60px;--awb-padding-top-small:50px;--awb-padding-right-small:30px;--awb-padding-bottom-small:50px;--awb-padding-left-small:30px;--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:20px;--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-spacing-left-small:0px;\"><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: \"4462cd56-6850-415f-918a-3daee631caf2\",\n\t\t\t\t\t\t\t\t\ttarget: \"#hbspt-form-1776215545000-0382210884\",\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-1776215545000-0382210884\"><\/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-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-16 fusion_builder_column_3_5 3_5 fusion-flex-column fusion-flex-align-self-flex-start fusion-animated\" style=\"--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-bg-size:cover;--awb-width-large:60%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-12 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">References<\/h6><\/div><div class=\"fusion-title title fusion-title-13 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-bottom:30px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Prover\u2019s innovative solutions brings benefits to many types of rail control projects<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-17 fusion_builder_column_2_5 2_5 fusion-flex-column fusion-no-small-visibility fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-14 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"https:\/\/www.prover.com\/references\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">View all<\/a><\/h6><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-18 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-19 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-6 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/formalizing-trafikverkets-signaling-rules-with-proven-methodology\/\" target=\"_self\"><img decoding=\"async\" width=\"2560\" height=\"1707\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg\" class=\"lazyload img-responsive wp-image-22339 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" alt srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%272560%27%20height%3D%271707%27%20viewBox%3D%270%200%202560%201707%27%3E%3Crect%20width%3D%272560%27%20height%3D%271707%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-200x133.jpg 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-400x267.jpg 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-600x400.jpg 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-800x533.jpg 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-1200x800.jpg 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2025\/10\/pexels-efrem-efre-2786187-29080039-scaled.jpg 2560w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 2560px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-15 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/formalizing-trafikverkets-signaling-rules-with-proven-methodology\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Formalizing Trafikverket\u2019s signaling rules with proven methodology<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-8\" 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-20 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-7 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/modernizing-stockholm-metros-tms-with-safe-migration\/\" target=\"_self\" aria-label=\"Signal modernization at Stockholm Metro\"><img decoding=\"async\" width=\"2560\" height=\"1707\" alt=\"Signal modernization at Stockholm Metro\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg\" class=\"lazyload img-responsive wp-image-21046 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%272560%27%20height%3D%271707%27%20viewBox%3D%270%200%202560%201707%27%3E%3Crect%20width%3D%272560%27%20height%3D%271707%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-200x133.jpg 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-400x267.jpg 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-600x400.jpg 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-800x533.jpg 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-1200x800.jpg 1200w, https:\/\/www.prover.com\/wp-content\/uploads\/2020\/06\/pexels-maxavans-5072402-scaled.jpg 2560w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 2560px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-16 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/modernizing-stockholm-metros-tms-with-safe-migration\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Modernizing Stockholm Metro\u2019s TMS with safe, stepwise migration to PLC<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-9\" 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-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-8 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/implementing-prover-trident-for-sl-stockholm\/\" target=\"_self\" aria-label=\"Prover-SL-metro\"><img decoding=\"async\" width=\"1200\" height=\"800\" alt=\"SL metro\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp\" class=\"lazyload img-responsive wp-image-18440 img-with-aspect-ratio\" data-parent-fit=\"cover\" data-parent-container=\".fusion-image-element\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271200%27%20height%3D%27800%27%20viewBox%3D%270%200%201200%20800%27%3E%3Crect%20width%3D%271200%27%20height%3D%27800%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-200x133.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-400x267.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-600x400.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro-800x533.webp 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-SL-metro.webp 1200w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 1200px\" \/><\/a><\/span><\/div><div class=\"fusion-title title fusion-title-17 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color7);--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-link-color:var(--awb-color7);--awb-link-hover-color:var(--awb-color5);\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;\"><a href=\"https:\/\/www.prover.com\/references\/implementing-prover-trident-for-sl-stockholm\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Implementing Prover Trident  for SL, Stockholm<\/a><\/h4><\/div><div class=\"fusion-text fusion-text-10\" 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-22 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-no-medium-visibility fusion-no-large-visibility fusion-animated\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeIn\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-18 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"#\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\"><a href=\"https:\/\/www.prover.com\/references\/\">View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":9,"featured_media":20376,"parent":14305,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-20303","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>Prover Station - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.\" \/>\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\/products\/prover-station\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Station - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/products\/prover-station\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-21T14:02:22+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\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=\"11 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/\",\"url\":\"https:\/\/www.prover.com\/products\/prover-station\/\",\"name\":\"Prover Station - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp\",\"datePublished\":\"2024-10-15T08:13:42+00:00\",\"dateModified\":\"2025-05-21T14:02:22+00:00\",\"description\":\"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/products\/prover-station\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp\",\"width\":1200,\"height\":630,\"caption\":\"Prover Station\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/products\/prover-station\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Products\",\"item\":\"https:\/\/www.prover.com\/products\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover Station\"}]},{\"@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":"Prover Station - Prover - Engineering a Safer World","description":"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.","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\/products\/prover-station\/","og_locale":"en_US","og_type":"article","og_title":"Prover Station - Prover - Engineering a Safer World","og_description":"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.","og_url":"https:\/\/www.prover.com\/products\/prover-station\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-21T14:02:22+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp","type":"image\/webp"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"11 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/products\/prover-station\/","url":"https:\/\/www.prover.com\/products\/prover-station\/","name":"Prover Station - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp","datePublished":"2024-10-15T08:13:42+00:00","dateModified":"2025-05-21T14:02:22+00:00","description":"Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/products\/prover-station\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/products\/prover-station\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/products\/prover-station\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-Station-cover.webp","width":1200,"height":630,"caption":"Prover Station"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/products\/prover-station\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Products","item":"https:\/\/www.prover.com\/products\/"},{"@type":"ListItem","position":3,"name":"Prover Station"}]},{"@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\/20303","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\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=20303"}],"version-history":[{"count":35,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/20303\/revisions"}],"predecessor-version":[{"id":21823,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/20303\/revisions\/21823"}],"up":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14305"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/20376"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=20303"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}