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.
Prover is growing with a steady stream of new projects. We are now looking for a professional project manager that can help us succeed in delivering value to our customers within time and budget. As Swedish skills is necessary for this position, the description below is in Swedish.För att passa för rollen behöver du:
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.
Prover is growing with a steady stream of new projects. We are now looking for a professional project manager that can help us succeed in delivering value to our customers within time and budget. As Swedish skills is necessary for this position, the description below is in Swedish.För att passa för rollen behöver du:
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.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00