 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
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 [...]
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. [...]
EVENTS
Signaling Design Automation Forum 2022 – Stockholm
After the great success of SDA Forum 2021 with attendees from leading infrastructure managers, suppliers, engineering firms and leading universities we invite you to join our SDA Forum 2022.
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.
