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.
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Prover introduces AI-tuned proof tactics, significantly speeding up formal verification processes, especially for systems like CBTC. Their AI-driven tool, PSL fine-tuner, accelerates proofs by up to 100x, with potential future integration into Prover Cloud Apps.
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Formal methods for industrial critical systems 2020
Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover [...]
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]
Beginning May 18th, I led a four-day online crash course on HLL for a dozen safety engineers. Due to the [...]
In this, the third and final, blog post on Signal Design Automation we will look at how formal verification [...]
In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control [...]
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Prover introduces AI-tuned proof tactics, significantly speeding up formal verification processes, especially for systems like CBTC. Their AI-driven tool, PSL fine-tuner, accelerates proofs by up to 100x, with potential future integration into Prover Cloud Apps.
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
Formal methods for industrial critical systems 2020
Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover [...]
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]
Beginning May 18th, I led a four-day online crash course on HLL for a dozen safety engineers. Due to the [...]
In this, the third and final, blog post on Signal Design Automation we will look at how formal verification [...]
In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control [...]
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
