{"id":14305,"date":"2023-04-11T22:48:44","date_gmt":"2023-04-11T21:48:44","guid":{"rendered":"https:\/\/stage.prover.com\/?page_id=14305"},"modified":"2025-05-19T09:03:33","modified_gmt":"2025-05-19T08:03:33","slug":"products","status":"publish","type":"page","link":"https:\/\/www.prover.com\/products\/","title":{"rendered":"Products"},"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 fusion-no-medium-visibility fusion-no-large-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-top:0px;--awb-padding-bottom:0px;--awb-padding-bottom-small:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-no-medium-visibility fusion-no-large-visibility fusion-animated\" style=\"--awb-padding-top-small:30px;--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:1;--awb-spacing-right-small:40px;--awb-margin-bottom-small:1px;--awb-spacing-left-small:40px;\" data-animationType=\"fadeInLeft\" data-animationDuration=\"1.0\" data-animationOffset=\"top-into-view\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-1 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;\">Prover SDA Software Suite &#8211; Verify safety in every step of your project.<\/h2><\/div><div class=\"fusion-text fusion-text-1\"><p>Prover SDA software suite is a complete process and tool suite that reduces engineering efforts and life cycle costs, provides prompt time-to-market, and ensures certification to the highest available safety standards.<\/p>\n<p>Our software suite contains the following three solutions: <a href=\"https:\/\/www.prover.com\/products\/prover-studio\/\">Prover Studio<\/a>, <a href=\"https:\/\/www.prover.com\/products\/prover-ilock\/\">Prover iLock<\/a>, and <a href=\"https:\/\/www.prover.com\/products\/prover-certifier\/\">Prover Certifier<\/a>.<\/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 class=\"fusion-image-element \" style=\"--awb-margin-bottom:0px;--awb-margin-top-small:;--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=\"610\" height=\"457\" alt=\"Prover SDA Software Suite\" title=\"Prover SDA Software Suite\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27610%27%20height%3D%27457%27%20viewBox%3D%270%200%20610%20457%27%3E%3Crect%20width%3D%27610%27%20height%3D%27457%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sda-software-suite1.svg\" class=\"lazyload img-responsive wp-image-13479\"\/><\/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\" 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:100px;--awb-padding-top-medium:70px;--awb-padding-bottom-medium:70px;--awb-padding-top-small:0px;--awb-padding-bottom-small:100px;--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-content-wrap\" style=\"max-width:1305.6px;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><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 fusion-no-small-visibility\" style=\"--awb-padding-top-small:41px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:50px;--awb-margin-bottom-large:40px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:50px;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:1;--awb-spacing-right-small:0.98%;--awb-margin-bottom-small:60px;--awb-spacing-left-small:0.98%;\" 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 awb-yoast-breadcrumbs fusion-breadcrumbs-1\" style=\"--awb-margin-bottom:15px;--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-2 fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-margin-top:25px;--awb-margin-bottom:25px;--awb-margin-top-small:20px;--awb-margin-right-small:0px;--awb-margin-bottom-small:30px;--awb-margin-left-small:0px;--awb-font-size:37px;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:none;font-size:1em;\">Prover SDA Software Suite &#8211; Verify safety in every step of your project.<\/h1><\/div><div class=\"fusion-text fusion-text-2\"><p>Prover delivers a comprehensive suite of tools designed to streamline and simplify the development, verification, and validation of safety-critical railway and metro signaling systems.<\/p>\n<p><strong>Built to meet the highest standards of safety<\/strong>, efficiency, and innovation, our solutions ensure that every phase of your project runs smoothly, from initial design through to final deployment\u2014helping you achieve safety compliance at every step.<\/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=\"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><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-2 fusion_builder_column_1_2 1_2 fusion-flex-column fusion-flex-align-self-center fusion-no-small-visibility\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:40px;--awb-spacing-right-large:1.96%;--awb-margin-bottom-large:40px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-margin-bottom-small:0px;--awb-spacing-left-small:0.98%;\" 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-2 hover-type-none\"><img decoding=\"async\" width=\"610\" height=\"457\" alt=\"Prover SDA Software Suite\" title=\"Prover SDA Software Suite\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27610%27%20height%3D%27457%27%20viewBox%3D%270%200%20610%20457%27%3E%3Crect%20width%3D%27610%27%20height%3D%27457%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/sda-software-suite1.svg\" class=\"lazyload img-responsive wp-image-13479\"\/><\/span><\/div><\/div><\/div><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-stretch\" style=\"--awb-padding-top:30px;--awb-padding-right:30px;--awb-padding-bottom:30px;--awb-padding-left:30px;--awb-padding-top-small:15px;--awb-padding-right-small:15px;--awb-padding-bottom-small:15px;--awb-padding-left-small:15px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 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\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.96%;--awb-margin-bottom-large:0px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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:3 \/ 2;--awb-object-position:55% 55%;--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:opacity(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:opacity(84%);\"><span class=\" fusion-imageframe imageframe-none imageframe-3 hover-type-none has-aspect-ratio\" style=\"border-radius:2px;\"><a class=\"fusion-no-lightbox\" href=\"\/products\/prover-station\" target=\"_self\" aria-label=\"prover-station-computer-min\"><img decoding=\"async\" width=\"1200\" height=\"732\" alt=\"Prover station\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min.png\" class=\"lazyload img-responsive wp-image-20400 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%27732%27%20viewBox%3D%270%200%201200%20732%27%3E%3Crect%20width%3D%271200%27%20height%3D%27732%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min-200x122.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min-400x244.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min-600x366.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min-800x488.png 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/prover-station-computer-min.png 1200w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 800px\" \/><\/a><\/span><\/div><\/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-flex-start\" style=\"--awb-padding-top:25px;--awb-padding-right:30px;--awb-padding-left:47px;--awb-padding-left-small:12.992199999999997px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.96%;--awb-margin-bottom-large:0px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:60px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-4 hover-type-none\"><img decoding=\"async\" width=\"277\" height=\"278\" title=\"Prover station-logo\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-logo.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-logo.png\" alt class=\"lazyload img-responsive wp-image-20402\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27277%27%20height%3D%27278%27%20viewBox%3D%270%200%20277%20278%27%3E%3Crect%20width%3D%27277%27%20height%3D%27278%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-logo-200x201.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/Prover-station-logo.png 277w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 277px\" \/><\/span><\/div><div class=\"fusion-title title fusion-title-3 fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-margin-top:20px;--awb-margin-bottom:20px;--awb-margin-top-small:30px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-font-size:22px;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;text-transform:none;font-size:1em;line-height:1.4;\">Prover Station \u2013 Next generation rail signaling systems<\/h1><\/div><div class=\"fusion-text fusion-text-3 fusion-text-no-margin\" style=\"--awb-font-size:16px;--awb-margin-bottom:40px;\"><p>Prover Station is a powerful web-based platform designed to handle the complexities of design, verification, and validation (V&amp;V) for rail and metro signaling systems.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-3 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);--button_margin-bottom:0px;\" target=\"_self\" href=\"\/products\/prover-station\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-4 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-2 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-5 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-studio\/\" target=\"_self\" aria-label=\"Prover studio\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover studio\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/prover-studio-icon1-2.svg\" class=\"lazyload img-responsive wp-image-13492\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-3 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-studio\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover Studio\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-4 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-4\" style=\"--awb-margin-top:10px;\"><p>Prover Studio\u00ae helps you develop, manage, and maintain formal specifications, offering efficient tools for editing and testing.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-5 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h3><\/div><ul style=\"--awb-size:17px;--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>Write specifications in HLL, sHLL, LCF or PiSPEC<\/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>Navigate in specifications<\/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>Have mistakes pointed out as you type<\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-4 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"\/products\/prover-studio\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-5 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-5 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-6 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-ilock\/\" target=\"_self\" aria-label=\"Prover iLock\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover iLock\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/prover-ilock-icon1.svg\" class=\"lazyload img-responsive wp-image-13509\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-6 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;text-transform:none;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-ilock\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover iLock\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-7 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-5\" style=\"--awb-margin-top:10px;\"><p>The desktop tool for producing fully documented, tested and verified application software for railway signaling systems.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-7 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h3><\/div><ul style=\"--awb-size:17px;--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-2 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>Build digital twins<\/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>Inspect, simulate and verify<\/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>Generate code for your target platform<\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-5 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"https:\/\/www.prover.com\/products\/prover-ilock\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-6 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-8 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-7 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-certifier\/\" target=\"_self\" aria-label=\"Prover Certifier\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover Certifier\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/prover-certifier-icon1-1.svg\" class=\"lazyload img-responsive wp-image-13514\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-9 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-8 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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-certifier\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover Certifier\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-10 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-6\" style=\"--awb-margin-top:10px;\"><p>The leading sign-off verification tool that allows you to automatically produce complete safety evidence using formal verification.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-9 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h3><\/div><ul style=\"--awb-size:17px;--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-3 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>Do sign-off formal verification for SIL 4 projects<\/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>Handle software in C, ADA and several domain-specific languages<\/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>Simplify your safety case by referring to our certificate<\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-6 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"https:\/\/www.prover.com\/products\/prover-certifier\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-7 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:30px;--awb-padding-right:30px;--awb-padding-bottom:30px;--awb-padding-left:30px;--awb-padding-top-small:15px;--awb-padding-right-small:15px;--awb-padding-bottom-small:15px;--awb-padding-left-small:15px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:100%;--awb-margin-top-large:25px;--awb-spacing-right-large:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:0px;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-11 fusion_builder_column_inner_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:1.96%;--awb-margin-bottom-large:0px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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:3 \/ 2;--awb-object-position:55% 55%;--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:opacity(100%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:opacity(84%);\"><span class=\" fusion-imageframe imageframe-none imageframe-8 hover-type-none has-aspect-ratio\" style=\"border-radius:2px;\"><a class=\"fusion-no-lightbox\" href=\"\/prover-labs\" target=\"_self\" aria-label=\"Apps &#8211; Formal Methods\"><img decoding=\"async\" width=\"1200\" height=\"610\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail.webp\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail.webp\" class=\"lazyload img-responsive wp-image-20361 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%271200%27%20height%3D%27610%27%20viewBox%3D%270%200%201200%20610%27%3E%3Crect%20width%3D%271200%27%20height%3D%27610%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail-200x102.webp 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail-400x203.webp 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail-600x305.webp 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail-800x407.webp 800w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/10\/apps-formal-methods-rail.webp 1200w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 800px\" \/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-12 fusion_builder_column_inner_1_2 1_2 fusion-flex-column fusion-flex-align-self-flex-start\" style=\"--awb-padding-top:25px;--awb-padding-right:30px;--awb-padding-left:47px;--awb-padding-left-small:12.992199999999997px;--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.96%;--awb-margin-bottom-large:0px;--awb-spacing-left-large:1.96%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:60px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-9 hover-type-none\"><img decoding=\"async\" width=\"362\" height=\"362\" title=\"Prover-symbol\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/09\/Prover-symbol-1.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/09\/Prover-symbol-1.png\" alt class=\"lazyload img-responsive wp-image-20131\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27362%27%20height%3D%27362%27%20viewBox%3D%270%200%20362%20362%27%3E%3Crect%20width%3D%27362%27%20height%3D%27362%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/09\/Prover-symbol-1-200x200.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/09\/Prover-symbol-1.png 362w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 362px\" \/><\/span><\/div><div class=\"fusion-title title fusion-title-10 fusion-sep-none fusion-title-text fusion-title-size-one\" style=\"--awb-margin-top:20px;--awb-margin-bottom:20px;--awb-margin-top-small:30px;--awb-margin-right-small:0px;--awb-margin-bottom-small:20px;--awb-margin-left-small:0px;--awb-font-size:22px;\"><h1 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;text-transform:none;font-size:1em;line-height:1.4;\">Prover Labs \u2013 A hub for AI innovation<\/h1><\/div><div class=\"fusion-text fusion-text-7 fusion-text-no-margin\" style=\"--awb-font-size:16px;--awb-margin-bottom:40px;\"><p>Prover Labs offers developers a unique space to experiment with cutting-edge AI-driven technologies. Explore and interact with early-stage applications in AI, formal methods, and digital twins.<\/p>\n<\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-7 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);--button_margin-bottom:0px;\" target=\"_self\" href=\"\/prover-labs\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-8 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-13 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-10 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-extractor\/\" target=\"_self\" aria-label=\"Prover Extractor\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover Extractor\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/prover-extractor-icon1.svg\" class=\"lazyload img-responsive wp-image-13546\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-14 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-extractor\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover Extractor\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-15 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-8\" style=\"--awb-margin-top:10px;\"><p>The software tool for automated processing, checking and generation of Relay-Based Interlocking (RBI) system schematics.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-12 fusion-sep-none fusion-title-text fusion-title-size-five\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h5 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h5><\/div><ul style=\"--awb-size:17px;--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-4 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\">Extract the logic from relay schematics<\/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>Navigate in relay schematics<\/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>Check compliance with guidelines<\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-8 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"https:\/\/www.prover.com\/products\/prover-extractor\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-9 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-16 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-11 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-psl\/\" target=\"_self\" aria-label=\"Prover PSL\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover PSL\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/prover-psl-icon1.svg\" class=\"lazyload img-responsive wp-image-13547\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-17 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-13 fusion-sep-none fusion-title-text fusion-title-size-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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-psl\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover PSL\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-18 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-9\" style=\"--awb-margin-top:10px;\"><p>Prover PSL is a model checker capable of formally verifying big industrial systems. It supports HLL and sHLL.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:48px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-14 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h3><\/div><ul style=\"--awb-size:17px;--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-5 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>Prove or disprove properties expressed in HLL or sHLL<\/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>Debug your system using interactive inspection with the Why tool<\/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>Choose between many built-in SAT solvers and strategies<\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-9 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"https:\/\/www.prover.com\/products\/prover-psl\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-10 fusion_builder_column_1_3 1_3 fusion-flex-column fusion-flex-align-self-stretch\" style=\"--awb-padding-top:50px;--awb-padding-right:40px;--awb-padding-bottom:20px;--awb-padding-left:40px;--awb-padding-top-small:30px;--awb-padding-right-small:30px;--awb-padding-bottom-small:30px;--awb-padding-left-small:30px;--awb-bg-color:var(--awb-color1);--awb-bg-color-hover:var(--awb-color1);--awb-bg-size:cover;--awb-box-shadow:5px 5px 5px 0px rgba(31,31,31,0.05);;--awb-border-color:var(--awb-custom_color_1);--awb-border-style:solid;--awb-width-large:33.333333333333%;--awb-margin-top-large:30px;--awb-spacing-right-large:2.94%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:2.94%;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:1.96%;--awb-spacing-left-medium:1.96%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-space-between fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:102% !important;max-width:102% !important;margin-left: calc(-2% \/ 2 );margin-right: calc(-2% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-19 fusion_builder_column_inner_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:25%;--awb-margin-top-large:0px;--awb-spacing-right-large:3.92%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:3.92%;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:3.92%;--awb-spacing-left-medium:3.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-12 hover-type-none\"><a class=\"fusion-no-lightbox\" href=\"https:\/\/www.prover.com\/products\/prover-summit\/\" target=\"_self\" aria-label=\"Prover_summit_icon_blue_white\"><img decoding=\"async\" width=\"57\" height=\"57\" alt=\"Prover Summit\" src=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%2757%27%20height%3D%2757%27%20viewBox%3D%270%200%2057%2057%27%3E%3Crect%20width%3D%2757%27%20height%3D%2757%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/06\/Prover_summit_icon_blue_white.svg\" class=\"lazyload img-responsive wp-image-18166\"\/><\/a><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-20 fusion_builder_column_inner_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.3066666666667%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:1.3066666666667%;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:1.3066666666667%;--awb-spacing-left-medium:1.3066666666667%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-title title fusion-title-15 fusion-sep-none fusion-title-text fusion-title-size-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:18px;\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\"><a href=\"https:\/\/www.prover.com\/products\/prover-summit\/\" class=\"awb-custom-text-color awb-custom-text-hover-color\" target=\"_self\">Prover Summit\u00ae<\/a><\/h2><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-21 fusion_builder_column_inner_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:0.98%;--awb-margin-bottom-large:20px;--awb-spacing-left-large:0.98%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:0.98%;--awb-spacing-left-medium:0.98%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:0.98%;--awb-spacing-left-small:0.98%;\"><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-10\" style=\"--awb-margin-top:10px;\"><p>Your way to ensure that no one makes unnoted changes to approved documents, drawings or programs.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:50px;margin-bottom:40px;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 class=\"fusion-title title fusion-title-16 fusion-sep-none fusion-title-text fusion-title-size-three\" style=\"--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:18px;\"><h3 class=\"fusion-title-heading title-heading-left\" style=\"font-family:&quot;Nunito Sans&quot;;font-style:normal;font-weight:700;margin:0;font-size:1em;\">Key features<\/h3><\/div><ul style=\"--awb-size:17px;--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-6 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>Create checksums of documents, drawings and programs<\/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>Verify integrity of files using checksums<\/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><span style=\"font-weight: 400;\">Monitor file changes live<\/span><\/p>\n<\/div><\/li><\/ul><\/div><\/div><\/div><div ><a class=\"fusion-button button-flat fusion-button-default-size button-custom fusion-button-default button-10 fusion-button-span-yes fusion-button-default-type\" style=\"--button_accent_color:var(--awb-color1);--button_border_color:var(--awb-color3);--button_accent_hover_color:var(--awb-color3);--button_border_hover_color:var(--awb-color3);--button_border_width-top:2px;--button_border_width-right:2px;--button_border_width-bottom:2px;--button_border_width-left:2px;--button_gradient_top_color:var(--awb-color3);--button_gradient_bottom_color:var(--awb-color3);--button_gradient_top_color_hover:var(--awb-color2);--button_gradient_bottom_color_hover:var(--awb-color2);\" target=\"_self\" href=\"https:\/\/www.prover.com\/products\/prover-summit\/\"><span class=\"fusion-button-text awb-button__text awb-button__text--default fusion-button-text-right\">Learn more<\/span><span class=\"fusion-button-icon-divider button-icon-divider-right\"><i class=\"fa-arrow-right fas awb-button__icon awb-button__icon--default\" aria-hidden=\"true\"><\/i><\/span><\/a><\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-3 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--link_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-small:10px;--awb-padding-bottom-small:10px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-margin-top-small:0px;--awb-margin-bottom-small:20px;--awb-background-color:var(--awb-color3);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-11 fusion_builder_column_1_1 1_1 fusion-flex-column fusion-flex-align-self-center\" style=\"--awb-padding-top:30px;--awb-padding-bottom:10px;--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;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-center fusion-flex-justify-content-center fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-22 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:70%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:70%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-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-17 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;\">Want to learn how your project can benefit with Signaling Design Automation?<\/h4><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-23 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:30%;--awb-margin-top-large:0px;--awb-spacing-right-large:0px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:0px;--awb-width-medium:30%;--awb-order-medium:0;--awb-spacing-right-medium:0px;--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-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 ><a class=\"fusion-button button-flat fusion-button-default-size button-default fusion-button-default button-11 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><\/div><\/div><\/div><\/div><\/div><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":13313,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"100-width.php","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-14305","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 - Engineering a Safer World - Our products<\/title>\n<meta name=\"description\" content=\"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.\" \/>\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\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover - Engineering a Safer World - Our products\" \/>\n<meta property=\"og:description\" content=\"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/products\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-19T08:03:33+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1800\" \/>\n\t<meta property=\"og:image:height\" content=\"768\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/products\/\",\"url\":\"https:\/\/www.prover.com\/products\/\",\"name\":\"Prover - Engineering a Safer World - Our products\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/products\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/products\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp\",\"datePublished\":\"2023-04-11T21:48:44+00:00\",\"dateModified\":\"2025-05-19T08:03:33+00:00\",\"description\":\"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/products\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/products\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/products\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp\",\"width\":1800,\"height\":768,\"caption\":\"Solutions\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/products\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Products\"}]},{\"@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 - Engineering a Safer World - Our products","description":"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.","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\/","og_locale":"en_US","og_type":"article","og_title":"Prover - Engineering a Safer World - Our products","og_description":"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.","og_url":"https:\/\/www.prover.com\/products\/","og_site_name":"Prover - Engineering a Safer World","article_modified_time":"2025-05-19T08:03:33+00:00","og_image":[{"width":1800,"height":768,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.prover.com\/products\/","url":"https:\/\/www.prover.com\/products\/","name":"Prover - Engineering a Safer World - Our products","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/products\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/products\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp","datePublished":"2023-04-11T21:48:44+00:00","dateModified":"2025-05-19T08:03:33+00:00","description":"A complete process and tool suite that reduces engineering efforts, and costs and ensures the highest available safety standards.","breadcrumb":{"@id":"https:\/\/www.prover.com\/products\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/products\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/products\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/solution1-jpg.webp","width":1800,"height":768,"caption":"Solutions"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/products\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Products"}]},{"@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\/14305","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=14305"}],"version-history":[{"count":88,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14305\/revisions"}],"predecessor-version":[{"id":21804,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/pages\/14305\/revisions\/21804"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/13313"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=14305"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}