Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development [...]
We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on [...]
On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major [...]
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]
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 [...]
We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development [...]
We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on [...]
On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major [...]
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]
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 [...]
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