Here, we keep you up-to-date with the latest happenings, announcements, and developments within our organization. From new product releases and upgrades to partnerships and collaborations. Read more about us here.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
Prover will be at InnoTrans 2024, at booth 130 in hall 3.2 from September 24 to 27. Don’t miss the opportunity to see firsthand how Prover is revolutionizing railway signaling.
Prover is revolutionizing railway signaling with AI-powered design automation, leveraging formal methods and digital twins to enhance safety, efficiency, and modernization in the industry.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
Prover will be at InnoTrans 2024, at booth 130 in hall 3.2 from September 24 to 27. Don’t miss the opportunity to see firsthand how Prover is revolutionizing railway signaling.
Prover is revolutionizing railway signaling with AI-powered design automation, leveraging formal methods and digital twins to enhance safety, efficiency, and modernization in the industry.
Prover is proud to announce our integral role in the latest railway signaling project for the Orléans tramway.
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00