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!
Prover joins RSSI 2022 in Kansas City
This is a great opportunity to meet with the railway industry and to get better insight in the needs of [...]
Prover published in Global Railway Review
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article [...]
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 [...]
SOCIAL MEDIA