News
Follow our Blog and Learn about current Events and Activities at Prover
Verification of Safety Requirements
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Subscribe here!
PSL – Best-in Class Formal Verification Performance
Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]
Time to start offering AI-tuned proof tactics to the world!
The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first [...]
Why the railway industry needs to modernize its methods of safety assurance
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
The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal [...]
Model Based Development Webinar with Ansys
Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover [...]
Save the date – SDA Forum in Paris March 23rd
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]
SOCIAL MEDIA