![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
![]() |
![]() |
![]() |
---|
Speed, Safety and Savings
LATEST NEWS
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 [...]
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.