News
Follow our Blog and Learn about current Events and Activities at Prover
Your guide to successful rail control projects
If you want to enable safe and reliable rail transportation while making the best use of available infrastructure, implementing [...]
Subscribe here!
Formal verification applications to ensure safety of CBTC systems
A significant number of modern metro systems around the world use Communication-Based Train Control (CBTC) for safer and more [...]
The need for digital twins in rail control projects
When it comes to unlocking future growth in the rail sector and beyond, advancing the digital transformation is high [...]
Formal verification tools certified for rail control
We are happy to announce that Prover Certifier has received its CENELEC EN 50128, tool class T2 certification from [...]
Why every rail control project should start with a Reference Model Implementation
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your [...]
The Key to a Successful Rail Control Project
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude [...]
Takeaways from the Signaling Design Automation Forum 2021
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event [...]
SOCIAL MEDIA