Prover and RATP strengthen collaboration
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Benjamin Blanc2025-01-09T14:46:29+01:00Company news, Formal methods|
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Benjamin Blanc2025-01-28T09:34:49+01:00Company news, COTS, Quality|
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Benjamin Blanc2024-11-06T10:43:57+01:00Job openings|
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:
Benjamin Blanc2025-01-13T14:41:20+01:00Guide, Verification & validation|
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.
Benjamin Blanc2025-01-13T14:43:21+01:00Company news|
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Benjamin Blanc2025-01-13T14:44:35+01:00Job openings|
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.
Benjamin Blanc2025-01-13T13:54:50+01:00Safety, Webinar|
Learn how formal verification, implemented with a pre-qualified T2 SIL4 tool, Prover Certifier, can be used in a CENELEC EN50128 compliant process.
Benjamin Blanc2025-01-13T13:32:01+01:00Formal methods|
Beginning May 18th, I led a four-day online crash course on HLL for a dozen safety engineers. Due to the [...]
Benjamin Blanc2025-01-09T14:46:29+01:00Company news, Formal methods|
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Benjamin Blanc2025-01-28T09:34:49+01:00Company news, COTS, Quality|
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Benjamin Blanc2024-11-06T10:43:57+01:00Job openings|
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:
Benjamin Blanc2025-01-13T14:41:20+01:00Guide, Verification & validation|
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.
Benjamin Blanc2025-01-13T14:43:21+01:00Company news|
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Benjamin Blanc2025-01-13T14:44:35+01:00Job openings|
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.
Benjamin Blanc2025-01-13T13:54:50+01:00Safety, Webinar|
Learn how formal verification, implemented with a pre-qualified T2 SIL4 tool, Prover Certifier, can be used in a CENELEC EN50128 compliant process.
Benjamin Blanc2025-01-13T13:32:01+01:00Formal methods|
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.
Get the latest news and updates about Prover.
Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.
We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.
We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.