Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems. Develop and maintain formal specifications, perform formal verification work using Python.
Learn how formal verification, implemented with a pre-qualified T2 SIL4 tool, Prover Certifier, can be used in a CENELEC EN50128 compliant process.
Beginning May 18th, I led a four-day online crash course on HLL for a dozen safety engineers. Due to the [...]
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems. Develop and maintain formal specifications, perform formal verification work using Python.
Learn how formal verification, implemented with a pre-qualified T2 SIL4 tool, Prover Certifier, can be used in a CENELEC EN50128 compliant process.
Beginning May 18th, I led a four-day online crash course on HLL for a dozen safety engineers. Due to the [...]
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.
© 2026 Prover Technology AB All Rights Reserved
© 2026 Prover All Rights Reserved
