![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
Speed, Safety and Savings
LATEST NEWS
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 [...]
EVENTS
Recorded Webinar – How to guarantee safety of rail control systems with formal verification
In this webinar, you will learn how formal verification, a technique that gives 100 % coverage and can be fully automated, can guarantee safety of rail control systems.
Recorded Webinar – Developing rail control software based on digital twins and signaling design automation
This webinar covers how to overcome challenges in the delivery of rail control software using a formal development process we call Signaling Design Automation.
Recorded Webinar – Establishing safety with Formal Verification
Safety is critical for the railway industry. We believe the method that should be used for safety assurance is Formal Verification. Join us in a webinar on this subject.
Signaling Design Automation
Rail control and signalling solutions play a significant role in making efficient use of available infrastructure, enabling reliable and safe transport. Delays in delivery, acceptance and safety approvals have a highly negative impact on schedules and costs. Therefore, we are committed to simplify the development of rail control solutions.
We use a formal approach to develop a prototype, or a RMI – Reference Model Implementation, that validates specifications with simulation and formal verification.

Prover iLock®
Prover iLock is a desktop tool for development of application software for railway interlocking systems.