{"id":18153,"date":"2023-06-07T09:31:16","date_gmt":"2023-06-07T08:31:16","guid":{"rendered":"https:\/\/www.prover.com\/?page_id=18153"},"modified":"2025-01-27T15:18:36","modified_gmt":"2025-01-27T14:18:36","slug":"prover-summit","status":"publish","type":"page","link":"https:\/\/www.prover.com\/products\/prover-summit\/","title":{"rendered":"Prover Summit"},"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:0px;--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 + 0px );margin-left: calc(-0px \/ 2 );margin-right: calc(-0px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:50px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:50px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:1;--awb-margin-top-small:30px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-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;\">File Integrity<\/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 Summit\u00ae<\/h1><\/div><div class=\"fusion-text fusion-text-1\"><p>Your way to ensure that no one makes unnoted changes to approved documents, drawings or programs.<\/p>\n<p>You might need Prover Summit if you use external reviewers or testers who cannot directly access your configuration management system. In such cases there is a risk that confusion arises about which version was actually reviewed or tested. By adding a file of checksums as attachment to the report, it is always possible to check that the right versions were used when the review or testing activities were performed.<\/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=\"https:\/\/www.prover.com\/book-a-demo\/\"><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 ><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=\"https:\/\/www.prover.com\/wp-content\/uploads\/2025\/01\/Prover-Summit-1.6.pdf\"><span class=\"fusion-button-text awb-button__text awb-button__text--default\">Read Product Sheet here<\/span><i class=\"fa-file-alt 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_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:40px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-center fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none\"><img decoding=\"async\" width=\"649\" height=\"436\" title=\"Prover_Summit_image\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1.png\" alt class=\"lazyload img-responsive wp-image-18173\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27649%27%20height%3D%27436%27%20viewBox%3D%270%200%20649%20436%27%3E%3Crect%20width%3D%27649%27%20height%3D%27436%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1-200x134.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1-400x269.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1-600x403.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image-1.png 649w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 649px\" \/><\/span><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling fusion-no-small-visibility fusion-no-medium-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-padding-bottom:0px;--awb-padding-bottom-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-2 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><i class=\"fb-icon-element-1 fb-icon-element fontawesome-icon fa-chevron-down fas circle-no fusion-no-small-visibility fusion-no-medium-visibility fusion-animated\" style=\"--awb-iconcolor:var(--awb-custom_color_2);--awb-iconcolor-hover:var(--awb-custom_color_2);--awb-circlecolor:var(--awb-color1);--awb-font-size:32px;--awb-margin-top:0;--awb-margin-right:0;--awb-margin-bottom:0;--awb-margin-left:0;--awb-align-self:center;\" data-animationType=\"fadeInDown\" data-animationDuration=\"1.1\" data-animationDelay=\"0.2\" data-animationOffset=\"bottom-in-view\"><\/i><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-3 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-3 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-4 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:100px;--awb-padding-bottom:80px;--awb-padding-top-small:70px;--awb-padding-bottom-small:50px;--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-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-4 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:35px;--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-3 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;\">About Prover Summit\u00ae<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-5 fusion_builder_column_2_5 2_5 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--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-text fusion-text-2\"><p><span style=\"background-color: var(--awb-bg-color-hover); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">An integrity checker that allows you to check that a set of files did not change.<br \/>\n<\/span><\/p>\n<p><span style=\"background-color: var(--awb-bg-color-hover); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">You can use it to ensure that the files you are about to use are exactly the ones that have been approved at an earlier step in the process.<br \/>\n<\/span><\/p>\n<p><span style=\"background-color: var(--awb-bg-color-hover); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">If you have a set of files, you can create checksums for them and save the checksums to a special checksums file.<br \/>\n<\/span><\/p>\n<p>A colleague can open the checksums file and verify that the files they have are unaltered compared to what you had.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-6 fusion_builder_column_2_5 2_5 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-bg-size:cover;--awb-width-large:40%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--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-text fusion-text-3\"><p><span style=\"background-color: var(--awb-bg-color-hover); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">The most popular use is for safety reviewers and testers to note in a protocol the checksums of all files they worked with, which allows an assessor to confirm that the right version has been approved.<br \/>\n<\/span><\/p>\n<p><span style=\"background-color: var(--awb-bg-color-hover); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">Prover Summit can monitor your files continuously. Whenever a file is changed, you see it immediately.<br \/>\n<\/span><\/p>\n<\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-7 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:35px;--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-4 fusion-sep-none fusion-title-center fusion-title-text fusion-title-size-two\" style=\"--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-center\" style=\"margin:0;text-transform:none;\"><img decoding=\"async\" class=\"lazyload aligncenter wp-image-19101 size-full\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%271320%27%20height%3D%27630%27%20viewBox%3D%270%200%201320%20630%27%3E%3Crect%20width%3D%271320%27%20height%3D%27630%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/04\/Prover_Summit-short_cmp_2.gif\" alt=\"\" width=\"1320\" height=\"630\" \/><\/h2><\/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-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:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-8 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-5 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-6 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 solution bring benefits to many types of rail control projects<\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-9 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-7 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-10 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-11 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-2 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-8 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-4\" 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-12 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-3 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-9 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-5\" 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-13 fusion-flex-column post-card fusion-grid-column fusion-post-cards-grid-column fusion-animated\" style=\"--awb-bg-size:cover;--awb-filter:brightness(100%) contrast(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:brightness(110%) contrast(105%);--awb-flex-grow:0;--awb-flex-shrink:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-aspect-ratio:16 \/ 9;--awb-margin-right:0px;--awb-margin-bottom:40px;--awb-margin-left:0px;--awb-margin-bottom-small:12px;--awb-caption-overlay-color:#ffffff;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);--awb-filter:contrast(105%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:contrast(100%);\"><span class=\" fusion-imageframe imageframe-none imageframe-4 hover-type-none has-aspect-ratio\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/references\/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-10 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-6\" 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-14 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-11 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-right\" style=\"margin:0;text-transform:uppercase;\"><a href=\"#\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\"><a href=\"https:\/\/www.prover.com\/references\/\">View all<\/a><\/a><\/h6><\/div><\/div><\/div><\/div><\/div>\n<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-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-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-15 fusion_builder_column_1_1 1_1 fusion-flex-column\" 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:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><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 class=\"fusion-fullwidth fullwidth-box fusion-builder-row-7 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-right:6vw;--awb-padding-bottom:0px;--awb-padding-left:6vw;--awb-padding-top-small:0px;--awb-padding-right-small:0px;--awb-padding-bottom-small:0px;--awb-padding-left-small:0px;--awb-margin-top:0px;--awb-margin-bottom:20px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start 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-16 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-padding-right:30px;--awb-padding-left:30px;--awb-padding-right-small:30px;--awb-padding-left-small:30px;--awb-bg-size:cover;--awb-width-large:100%;--awb-flex-grow:0;--awb-flex-shrink:0;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-flex-grow-medium:0;--awb-flex-shrink-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-flex-grow-small:0;--awb-flex-shrink-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-0 fusion_builder_column_inner_1_2 1_2 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:120px;--awb-padding-right:120px;--awb-padding-bottom:120px;--awb-padding-left:120px;--awb-padding-top-small:60px;--awb-padding-right-small:40px;--awb-padding-bottom-small:40px;--awb-padding-left-small:40px;--awb-bg-color:var(--awb-color3);--awb-bg-color-hover:var(--awb-color3);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-12 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-13 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;\">Learn the possibilities with Prover \u2013 in action!<\/h2><\/div><div class=\"fusion-text fusion-text-7 fusion-text-no-margin\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-bottom:40px;\"><p>Book a 30 minute demo and learn about what benefits Prover products can bring to you and your organisation.<\/p>\n<\/div><div class=\"fusion-title title fusion-title-14 fusion-sep-none fusion-title-text fusion-title-size-four\" style=\"--awb-text-color:var(--awb-color1);--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h4 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">We\u2019ll cover how to:<\/h4><\/div><ul style=\"--awb-size:17px;--awb-margin-top:20px;--awb-margin-right:0px;--awb-margin-bottom:20px;--awb-margin-left:0px;--awb-textcolor:var(--awb-color1);--awb-line-height:28.9px;--awb-icon-width:28.9px;--awb-icon-height:28.9px;--awb-icon-margin:11.9px;--awb-content-margin:40.8px;--awb-circlecolor:var(--awb-color3);--awb-circle-yes-font-size:14.96px;\" class=\"fusion-checklist fusion-checklist-1 fusion-checklist-default type-icons\"><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>Specific Application Engineering with Prover iLock<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>Formal Verification with Prover iLock and Prover Certifier<\/p>\n<\/div><\/li><\/ul><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-1 fusion_builder_column_inner_1_2 1_2 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:120px;--awb-padding-right:80px;--awb-padding-bottom:40px;--awb-padding-left:80px;--awb-padding-top-small:60px;--awb-padding-right-small:40px;--awb-padding-bottom-small:40px;--awb-padding-left-small:40px;--awb-bg-color:var(--awb-custom_color_4);--awb-bg-color-hover:var(--awb-custom_color_4);--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0px;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\">\n\t\t\t\t\t\t<script>\n\t\t\t\t\t\t\twindow.hsFormsOnReady = window.hsFormsOnReady || [];\n\t\t\t\t\t\t\twindow.hsFormsOnReady.push(()=>{\n\t\t\t\t\t\t\t\thbspt.forms.create({\n\t\t\t\t\t\t\t\t\tportalId: 26789739,\n\t\t\t\t\t\t\t\t\tformId: \"4462cd56-6850-415f-918a-3daee631caf2\",\n\t\t\t\t\t\t\t\t\ttarget: \"#hbspt-form-1776215733000-3498833983\",\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-1776215733000-3498833983\"><\/div><div class=\"fusion-text fusion-text-8 fusion-text-no-margin\" style=\"--awb-margin-top:20px;--awb-margin-bottom:20px;\"><p>Prefer speaking on the phone? Contact us on <strong>+46 (0)8 617 68 00.<\/strong><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":11,"featured_media":18169,"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-18153","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 Summit - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.\" \/>\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-summit\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Summit - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/products\/prover-summit\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-27T14:18:36+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png\" \/>\n\t<meta property=\"og:image:width\" content=\"649\" \/>\n\t<meta property=\"og:image:height\" content=\"436\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\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=\"10 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-summit\/\",\"url\":\"https:\/\/www.prover.com\/products\/prover-summit\/\",\"name\":\"Prover Summit - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png\",\"datePublished\":\"2023-06-07T08:31:16+00:00\",\"dateModified\":\"2025-01-27T14:18:36+00:00\",\"description\":\"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/products\/prover-summit\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/products\/prover-summit\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png\",\"width\":649,\"height\":436},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/products\/prover-summit\/#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 Summit\"}]},{\"@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 Summit - Prover - Engineering a Safer World","description":"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.","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-summit\/","og_locale":"en_US","og_type":"article","og_title":"Prover Summit - Prover - Engineering a Safer World","og_description":"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.","og_url":"https:\/\/www.prover.com\/products\/prover-summit\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-01-27T14:18:36+00:00","og_image":[{"width":649,"height":436,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"10 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/products\/prover-summit\/","url":"https:\/\/www.prover.com\/products\/prover-summit\/","name":"Prover Summit - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png","datePublished":"2023-06-07T08:31:16+00:00","dateModified":"2025-01-27T14:18:36+00:00","description":"Prover Summit is an integrity checker that allows you to check that a set of files has not been changed \u2014 your way to ensure that no one makes unnoted changes to approved documents, drawings, or programs.","breadcrumb":{"@id":"https:\/\/www.prover.com\/products\/prover-summit\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/products\/prover-summit\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/products\/prover-summit\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_Summit_image.png","width":649,"height":436},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/products\/prover-summit\/#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 Summit"}]},{"@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\/18153","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\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=18153"}],"version-history":[{"count":19,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18153\/revisions"}],"predecessor-version":[{"id":21109,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/18153\/revisions\/21109"}],"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\/18169"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=18153"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}