Prover hosted the Signaling Design Automation Forum 2025 in Stockholm, uniting experts from across the rail industry to discuss open signaling, AI, and formal methods for safer and smarter railway systems.Read the recap and watch recording in this blog post.
Prover hosted the Signaling Design Automation Forum 2025 in Stockholm, uniting experts from across the rail industry to discuss open signaling, AI, and formal methods for safer and smarter railway systems.Read the recap and watch recording in this blog post.
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
Le secteur ferroviaire mondial est en pleine croissance! Son marché est estimé à 113 Mds € pour 2017-2020, avec une [...]
On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day "Hackaton" [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
Justify investment in modern rail control solutions
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Transport system 2018-2029 - The Swedish Transport Administrations proposals for national plans for the future railroad
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
Le secteur ferroviaire mondial est en pleine croissance! Son marché est estimé à 113 Mds € pour 2017-2020, avec une [...]
On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day "Hackaton" [...]
Back in March this year I wrote about a work package on formal methods and standard interfaces, led by [...]
Justify investment in modern rail control solutions
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Transport system 2018-2029 - The Swedish Transport Administrations proposals for national plans for the future railroad
The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. [...]
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
