News
Follow our Blog and Learn about current Events and Activities at Prover
Let’s meet at Innotrans and discuss the challenges faced in rail control projects
On September 20-23, Prover will be at Innotrans 2022! Come join us in hall 11.2 stand 260 to discuss [...]
Subscribe here!
Working at Prover – a small, agile company where each individual matters
Founded in 1989, after more than 30 years of development, Prover is now an international company, with branches in [...]
Signaling Design Automation Forum 2022 – Stockholm
SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn. [...]
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 [...]
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 [...]
SOCIAL MEDIA