Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Prover will be exhibiting at InnoTrans 2024, taking place September 24-27 in Berlin. Visit us in hall 3.2 at booth 130.
Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT’s GeminiX platform.
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
Join us as we explore the transformative potential of Commercial Off-The-Shelf (COTS) solutions in the railway signaling market.
In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.
In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.
A significant number of modern metro systems use CBTC for safer and efficient train operations. While the role of CBTC is straightforward, the systems themselves are quite complex.
Join us to learn more about formal verification, a verification method that uses mathematical proofs to establish that the implemented system fulfills the safety requirements.
Read more about 3 scenarios where formal verification caught errors missed by traditional rail control system tests.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
Prover will be exhibiting at InnoTrans 2024, taking place September 24-27 in Berlin. Visit us in hall 3.2 at booth 130.
Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT’s GeminiX platform.
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
Join us as we explore the transformative potential of Commercial Off-The-Shelf (COTS) solutions in the railway signaling market.
In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.
In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement.
A significant number of modern metro systems use CBTC for safer and efficient train operations. While the role of CBTC is straightforward, the systems themselves are quite complex.
Join us to learn more about formal verification, a verification method that uses mathematical proofs to establish that the implemented system fulfills the safety requirements.
Read more about 3 scenarios where formal verification caught errors missed by traditional rail control system tests.
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.
© 2026 Prover Technology AB All Rights Reserved
© 2026 Prover All Rights Reserved
+46 (0)8 617 68 00