{"id":5888,"date":"2024-07-11T09:10:39","date_gmt":"2024-07-11T07:10:39","guid":{"rendered":"https:\/\/www.systra.com\/australia\/?post_type=services&#038;p=5888"},"modified":"2024-07-12T02:22:49","modified_gmt":"2024-07-12T00:22:49","slug":"prover","status":"publish","type":"services","link":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/","title":{"rendered":"Prover"},"content":{"rendered":"\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h2 class=\"wp-block-heading\" id=\"h-introduction-to-prover\"><strong>Introduction  to Prover<\/strong><\/h2>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"1280\" height=\"643\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1.jpg\" alt=\"\" class=\"wp-image-5892\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1.jpg 1280w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-300x151.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-1024x514.jpg 1024w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-768x386.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-474x238.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-800x402.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-180x90.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-153x77.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1-230x116.jpg 230w\" sizes=\"(max-width: 1280px) 100vw, 1280px\" \/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p>SYSTRA is Prover\u2019s partner in Australia. Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support. Prover software tools support and automate the entire development and verification process behind the delivery of signalling systems, meeting the highest demands and safety requirements.<\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><strong>The Evolution of Delivering Train Control Solutions&nbsp;<\/strong><\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>Prover is a thought leader in the industry, actively driving innovation, shaping standards and developing best practices for efficient development and verification of railway control systems. To support clear definition of what signalling systems should deliver, Prover has developed three different programming languages:<\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<ul class=\"wp-block-list\">\n<li>PiSPEC<\/li>\n\n\n\n<li>HLL<\/li>\n\n\n\n<li>LCF<\/li>\n<\/ul>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>In addition to having a precisely defined syntax and semantics, these languages have been carefully designed to make it easy to express signalling requirements and configuration data, but also to simplify manual-review tasks.<\/p>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-media-text has-media-on-the-right is-stacked-on-mobile has-griplusclair-background-color has-background\"><div class=\"wp-block-media-text__content\">\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-prover-and-systra\">Prover and SYSTRA<\/h2>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>Together with Prover, Rail Systems Australia contributes to the automation and digitisation of modern rail control systems. Prover is an active member of industry organisations and standardisation bodies such as UNIFE, IEEE and Shift2Rail to contribute to developing standards and best practices for the train systems of tomorrow where safety, time to market and cost efficiency are paramount.<\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>Prover tools support Signalling Design Automation, including solutions for Rail Control Project with Automation and 100% Verified Safety, and Digital Twin to simulate and analyse real-world behaviour and performance.<\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" width=\"1024\" height=\"683\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-1024x683.jpg\" alt=\"\" class=\"wp-image-5896 size-full\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-1024x683.jpg 1024w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-300x200.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-768x512.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-1536x1024.jpg 1536w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-375x250.jpg 375w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-376x250.jpg 376w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-474x316.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-75x50.jpg 75w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-900x600.jpg 900w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-1700x1133.jpg 1700w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-1352x901.jpg 1352w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-800x533.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-180x120.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-153x102.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w-230x153.jpg 230w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shutterstock_1987276967-1920w.jpg 1920w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"300\" height=\"68\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/unife-union-of-the-european-railway-industries-vector-logo-greyscale-469x107-1-300x68-1.png\" alt=\"\" class=\"wp-image-5889\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/unife-union-of-the-european-railway-industries-vector-logo-greyscale-469x107-1-300x68-1.png 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/unife-union-of-the-european-railway-industries-vector-logo-greyscale-469x107-1-300x68-1-180x41.png 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/unife-union-of-the-european-railway-industries-vector-logo-greyscale-469x107-1-300x68-1-153x35.png 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/unife-union-of-the-european-railway-industries-vector-logo-greyscale-469x107-1-300x68-1-230x52.png 230w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"300\" height=\"68\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/ieee-greyscale-300x68-1.png\" alt=\"\" class=\"wp-image-5890\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/ieee-greyscale-300x68-1.png 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/ieee-greyscale-300x68-1-180x41.png 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/ieee-greyscale-300x68-1-153x35.png 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/ieee-greyscale-300x68-1-230x52.png 230w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"300\" height=\"68\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shift2rail-logo-greyscale-469x107-1-300x68-1.jpg\" alt=\"\" class=\"wp-image-5895\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shift2rail-logo-greyscale-469x107-1-300x68-1.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shift2rail-logo-greyscale-469x107-1-300x68-1-180x41.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shift2rail-logo-greyscale-469x107-1-300x68-1-153x35.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/shift2rail-logo-greyscale-469x107-1-300x68-1-230x52.jpg 230w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/figure>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:75px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<h2 class=\"wp-block-heading has-text-align-left\" id=\"h-prover-solutions\">Prover Solutions<\/h2>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"814\" height=\"488\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy.jpg\" alt=\"\" class=\"wp-image-5894\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy.jpg 814w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-300x180.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-768x460.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-474x284.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-800x480.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-180x108.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-153x92.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-230x138.jpg 230w\" sizes=\"(max-width: 814px) 100vw, 814px\" \/><\/figure>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-prover-studio\" style=\"text-transform:capitalize\">Prover Studio\u00ae<\/h3>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>Prover Studio\u00ae helps you manage, develop and maintain formal specifications.<\/p>\n\n\n\n<p>Key features:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Write specifications in HLL, LCF or PiSPEC.<\/li>\n\n\n\n<li>Navigate in specifications.<\/li>\n\n\n\n<li>Identification of mistakes as you type.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"814\" height=\"488\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss.jpg\" alt=\"\" class=\"wp-image-5893\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss.jpg 814w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-300x180.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-768x460.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-474x284.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-800x480.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-180x108.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-153x92.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-ilock-ss-230x138.jpg 230w\" sizes=\"(max-width: 814px) 100vw, 814px\" \/><\/figure>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-prover-ilock\" style=\"text-transform:capitalize\">Prover iLock\u00ae<\/h3>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>The desktop tool for producing fully documented, tested and verified application software for railway interlocking systems.<\/p>\n\n\n\n<p><strong>Key Features:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Build digital twins.<\/li>\n\n\n\n<li>Inspect, simulate and verify.<\/li>\n\n\n\n<li>Generate code for your target platform.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"814\" height=\"488\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy.jpg\" alt=\"\" class=\"wp-image-5891\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy.jpg 814w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-300x180.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-768x460.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-474x284.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-800x480.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-180x108.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-153x92.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-certifier-814x488-copy-230x138.jpg 230w\" sizes=\"(max-width: 814px) 100vw, 814px\" \/><\/figure>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-prover-certifier\" style=\"text-transform:capitalize\">Prover Certifier\u00ae<\/h3>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>The only sign-off verification tool on the market that allows you to automatically produce complete safety evidence using formal verification.<\/p>\n\n\n\n<p><strong>Key Features:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Do sign-off formal verification for SIL4 projects.<\/li>\n\n\n\n<li>Handle software in C, ADA and several domain-specific languages.<\/li>\n\n\n\n<li>Simplify your safety case by referring to our certificate.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-group has-blanc-background-color has-background\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<h2 class=\"wp-block-heading\" id=\"h-asset-management-solutions\">Asset Management Solutions<\/h2>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p>Our rail asset management solutions utilise data  to evaluate the performance and reliability of the rail network helping to improve strategic decision-making and informing operational and maintenance strategies, ensuring reliable asset performance.<\/p>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-cover is-light\" style=\"min-height:250px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-30 has-background-dim\" style=\"background-color:#e4e6e5\"><\/span><img decoding=\"async\" width=\"800\" height=\"600\" class=\"wp-block-cover__image-background wp-image-5875\" alt=\"\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2.jpg\" data-object-fit=\"cover\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-300x225.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-768x576.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-474x356.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-180x135.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-153x115.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/load-tracker-800x600-v2-230x173.jpg 230w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><div class=\"wp-block-cover__inner-container is-layout-constrained wp-block-cover-is-layout-constrained\">\n<p class=\"has-text-align-center has-large-font-size\"><\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-dirty-purple-background-color has-background wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/nexxiot\/\">NEXXIOT<\/a><\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-cover is-light\" style=\"min-height:250px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-30 has-background-dim\" style=\"background-color:#e4e6e5\"><\/span><img decoding=\"async\" width=\"814\" height=\"488\" class=\"wp-block-cover__image-background wp-image-5894\" alt=\"\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy.jpg\" data-object-fit=\"cover\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy.jpg 814w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-300x180.jpg 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-768x460.jpg 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-474x284.jpg 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-800x480.jpg 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-180x108.jpg 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-153x92.jpg 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-studio-814x488-copy-230x138.jpg 230w\" sizes=\"(max-width: 814px) 100vw, 814px\" \/><div class=\"wp-block-cover__inner-container is-layout-constrained wp-block-cover-is-layout-constrained\">\n<p class=\"has-text-align-center has-large-font-size\"><\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-dirty-purple-background-color has-background wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/\">Prover<\/a><\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-cover\" style=\"min-height:250px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-30 has-background-dim\" style=\"background-color:#e4e6e5\"><\/span><img decoding=\"async\" width=\"1808\" height=\"1536\" class=\"wp-block-cover__image-background wp-image-5885\" alt=\"\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped.png\" data-object-fit=\"cover\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped.png 1808w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-300x255.png 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-1024x870.png 1024w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-768x652.png 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-1536x1305.png 1536w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-474x403.png 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-1700x1444.png 1700w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-1352x1149.png 1352w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-800x680.png 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-180x153.png 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-153x130.png 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/g1-cropped-230x195.png 230w\" sizes=\"(max-width: 1808px) 100vw, 1808px\" \/><div class=\"wp-block-cover__inner-container is-layout-constrained wp-block-cover-is-layout-constrained\">\n<p class=\"has-text-align-center has-large-font-size\"><\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-dirty-purple-background-color has-background wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/viezo-powerail\/\">VIEZO Powerail<\/a><\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-cover is-light\" style=\"min-height:250px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-30 has-background-dim\" style=\"background-color:#e4e6e5\"><\/span><img decoding=\"async\" width=\"980\" height=\"773\" class=\"wp-block-cover__image-background wp-image-5898\" alt=\"\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1.png\" data-object-fit=\"cover\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1.png 980w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-300x237.png 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-768x606.png 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-474x374.png 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-800x631.png 800w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-180x142.png 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-153x121.png 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/viavi-main-image-copy-980x773-1-230x181.png 230w\" sizes=\"(max-width: 980px) 100vw, 980px\" \/><div class=\"wp-block-cover__inner-container is-layout-constrained wp-block-cover-is-layout-constrained\">\n<p class=\"has-text-align-center has-large-font-size\"><\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link has-dirty-purple-background-color has-background wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/viavi\/\">Viavi<\/a><\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div><\/div>\n\n\n\n<ul class=\"has-pale-blue-background-color has-background wp-block-list\">\n<li><strong><span style=\"text-decoration: underline;\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-dirty-purple-color\"><a href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/nexxiot\/\" data-type=\"services\" data-id=\"5881\">Nexxiot:<\/a> <\/mark><\/span><\/strong>Provides near real-time Asset Intelligence for railcars, empowering rolling stock owners and freight operators to harness the power of their data.<\/li>\n\n\n\n<li><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-dirty-purple-color\"><strong><span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/\" data-type=\"services\" data-id=\"5888\">Prover:<\/a><\/span><\/strong> <\/mark>Provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.<\/li>\n\n\n\n<li><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-dirty-purple-color\"><strong><span style=\"text-decoration: underline;\"><a href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/viezo-powerail\/\" data-type=\"services\" data-id=\"5858\">Viezo Powerail:<\/a><\/span><\/strong> <\/mark>Provides a comprehensive solution for monitoring rolling stock and optimising maintenance processes.<\/li>\n\n\n\n<li><strong><span style=\"text-decoration: underline;\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-dirty-purple-color\"><a href=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/viavi\/\" data-type=\"services\" data-id=\"5897\">Viavi:<\/a> <\/mark><\/span><\/strong>Provides of testing, measurement and assurance solutions for telecommunications networks.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-media-text is-stacked-on-mobile\"><figure class=\"wp-block-media-text__media\"><img decoding=\"async\" width=\"794\" height=\"793\" src=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey.png\" alt=\"\" class=\"wp-image-5878 size-full\" srcset=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey.png 794w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-300x300.png 300w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-150x150.png 150w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-768x767.png 768w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-376x376.png 376w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-474x473.png 474w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-660x660.png 660w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-180x180.png 180w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-153x153.png 153w, https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/pontus-nilsson-circle-grey-230x230.png 230w\" sizes=\"(max-width: 794px) 100vw, 794px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<h2 class=\"wp-block-heading\" id=\"h-solution-specialist\">SOLUTION SPECIALIST <\/h2>\n\n\n\n<p><strong>Pontus Nilsson<\/strong><\/p>\n\n\n\n<p>For more information about SYSTRA&#8217;s Prover Solutions, please reach out to Pontus Nilsson:<\/p>\n\n\n\n<p>Email:&nbsp;<a href=\"mailto:Pontus.nilsson@railsystemsaustralia.com.au\">Pontus.Nilsson@railsystemsaustralia.com.au<\/a><\/p>\n\n\n\n<p>Phone: +61 437 1915 26<\/p>\n<\/div><\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-group alignwide has-dirty-purple-background-color has-background\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h2 class=\"wp-block-heading has-blanc-color has-text-color has-link-color wp-elements-09f727dc2f87635ba4d1de952fe65e9f\" id=\"h-need-more-information\">Need more information?<\/h2>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\"><\/h2>\n\n\n\n<div style=\"height:20px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p class=\"has-blanc-color has-text-color has-link-color wp-elements-a6290c0453002fc19bca9402f63181f6\">For more information, please get in contact with us. Alternatively, if you wish to keep in touch please hit subscribe.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-columns is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--1\" style=\"text-transform:capitalize\"><a class=\"wp-block-button__link has-dirty-purple-color has-griplusclair-background-color has-text-color has-background has-link-color wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/who-we-are\/about-us\/contact-us\/\"><mark style=\"background-color:rgba(0, 0, 0, 0)\" class=\"has-inline-color has-dirty-purple-color\">Contact us<\/mark><\/a><\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button has-custom-font-size is-style-outline is-style-outline--2\" style=\"font-size:18px;text-transform:capitalize\"><a class=\"wp-block-button__link has-dirty-purple-color has-griplusclair-background-color has-text-color has-background has-link-color wp-element-button\" href=\"https:\/\/www.systra.com\/australia\/who-we-are\/about-us\/contact-us\/newsletter\/\">Keep in touch<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div><\/div>\n<\/div><\/div>\n\n\n\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support. <\/p>\n","protected":false},"featured_media":5879,"parent":859,"menu_order":0,"template":"","type-service":[34],"class_list":["post-5888","services","type-services","status-publish","has-post-thumbnail","hentry","type-service-asset-management"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v27.4 (Yoast SEO v27.4) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>Prover - Australia<\/title>\n<meta name=\"description\" content=\"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover\" \/>\n<meta property=\"og:description\" content=\"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/\" \/>\n<meta property=\"og:site_name\" content=\"Australia\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-12T00:22:49+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"643\" \/>\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=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\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.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/\",\"url\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/\",\"name\":\"Prover - Australia\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/wp-content\\\/uploads\\\/sites\\\/9\\\/2024\\\/07\\\/rsa-product.png\",\"datePublished\":\"2024-07-11T07:10:39+00:00\",\"dateModified\":\"2024-07-12T00:22:49+00:00\",\"description\":\"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/wp-content\\\/uploads\\\/sites\\\/9\\\/2024\\\/07\\\/rsa-product.png\",\"contentUrl\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/wp-content\\\/uploads\\\/sites\\\/9\\\/2024\\\/07\\\/rsa-product.png\",\"width\":2380,\"height\":1500},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/prover\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Services\",\"item\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Asset Management\",\"item\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/services\\\/asset-management\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Prover\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/#website\",\"url\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/\",\"name\":\"Australia\",\"description\":\"Confidence moves the world\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systra.com\\\/australia\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Prover - Australia","description":"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"og_locale":"fr_FR","og_type":"article","og_title":"Prover","og_description":"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.","og_url":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/","og_site_name":"Australia","article_modified_time":"2024-07-12T00:22:49+00:00","og_image":[{"width":1280,"height":643,"url":"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/prover-general-image-2-1280x643-1.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/","url":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/","name":"Prover - Australia","isPartOf":{"@id":"https:\/\/www.systra.com\/australia\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/#primaryimage"},"image":{"@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/rsa-product.png","datePublished":"2024-07-11T07:10:39+00:00","dateModified":"2024-07-12T00:22:49+00:00","description":"Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.","breadcrumb":{"@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/#primaryimage","url":"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/rsa-product.png","contentUrl":"https:\/\/www.systra.com\/australia\/wp-content\/uploads\/sites\/9\/2024\/07\/rsa-product.png","width":2380,"height":1500},{"@type":"BreadcrumbList","@id":"https:\/\/www.systra.com\/australia\/services\/asset-management\/prover\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systra.com\/australia\/"},{"@type":"ListItem","position":2,"name":"Services","item":"https:\/\/www.systra.com\/australia\/services\/"},{"@type":"ListItem","position":3,"name":"Asset Management","item":"https:\/\/www.systra.com\/australia\/services\/asset-management\/"},{"@type":"ListItem","position":4,"name":"Prover"}]},{"@type":"WebSite","@id":"https:\/\/www.systra.com\/australia\/#website","url":"https:\/\/www.systra.com\/australia\/","name":"Australia","description":"Confidence moves the world","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systra.com\/australia\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"en","translations":{"en":5888},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/services\/5888","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/services"}],"about":[{"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/types\/services"}],"version-history":[{"count":0,"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/services\/5888\/revisions"}],"up":[{"embeddable":true,"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/services\/859"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/media\/5879"}],"wp:attachment":[{"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/media?parent=5888"}],"wp:term":[{"taxonomy":"type-service","embeddable":true,"href":"https:\/\/www.systra.com\/australia\/wp-json\/wp\/v2\/type-service?post=5888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}