News
Follow our Blog and Learn about current Events and Activities at Prover
3 scenarios where formal verification caught errors missed by traditional rail control system tests
As most signal and verification engineers know, when developing and verifying software for rail control systems, testing can be very [...]
Subscribe here!
Case: Developing digital twins for the Stockholm Metro
When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with [...]
How to establish quality specifications in the tender phase of your rail control project
Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later [...]
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 [...]
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 [...]
SOCIAL MEDIA