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 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 iLock ensures all signaling system components meet requirements by integrating Schneider PLC code and relay logic into a Digital Twin of the complete interlocking system.
Experience the power of Strategy Fusion! Prover PSL 5.8 introduces Strategy Fusion, a game-changing feature that allows you to fuse [...]
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4. Prover PSL [...]
Are you sure that the drawings and documents that were approved by safety review did not change after review? This [...]
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Prover Studio 2 with HLL support has been released! Prover Studio was launched (https://www.prover.com/product-news/introducing-prover-studio/) as an integrated development environment [...]
Founded in 1989, after more than 30 years of development, Prover is now an international company, with branches in [...]
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article [...]
Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team [...]
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 iLock ensures all signaling system components meet requirements by integrating Schneider PLC code and relay logic into a Digital Twin of the complete interlocking system.
Experience the power of Strategy Fusion! Prover PSL 5.8 introduces Strategy Fusion, a game-changing feature that allows you to fuse [...]
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4. Prover PSL [...]
Are you sure that the drawings and documents that were approved by safety review did not change after review? This [...]
PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety [...]
Prover Studio 2 with HLL support has been released! Prover Studio was launched (https://www.prover.com/product-news/introducing-prover-studio/) as an integrated development environment [...]
Founded in 1989, after more than 30 years of development, Prover is now an international company, with branches in [...]
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article [...]
Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team [...]
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