CentraleSupélec students explored the full lifecycle of railway interlocking engineering during an intensive week with Prover. Using Prover Studio and Prover iLock, they worked with signaling design, safety requirements, formal verification, testing, and simulation in a hands-on railway project.
CentraleSupélec students explored the full lifecycle of railway interlocking engineering during an intensive week with Prover. Using Prover Studio and Prover iLock, they worked with signaling design, safety requirements, formal verification, testing, and simulation in a hands-on railway project.
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]
We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and [...]
To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. [...]
We will exhibit at Innotrans in September. Come to our booth to see and discover our market leading solutions for [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]
This May 21-24th, the 58th annual Railway Systems Suppliers, Inc. (RSSI) Communication and Signal (C&S) Exhibition was held in Omaha, [...]
If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is [...]
Prover is exhibiting at the RSSI C&S Exhibition in Omaha. We will be showcasing the latest technology within Signal Design [...]
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]
We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and [...]
To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. [...]
We will exhibit at Innotrans in September. Come to our booth to see and discover our market leading solutions for [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]
This May 21-24th, the 58th annual Railway Systems Suppliers, Inc. (RSSI) Communication and Signal (C&S) Exhibition was held in Omaha, [...]
If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is [...]
Prover is exhibiting at the RSSI C&S Exhibition in Omaha. We will be showcasing the latest technology within Signal Design [...]
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
