News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
HLL crash course for Safety Engineers
Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the [...]
Increased railway safety using signaling design automation
In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and [...]
Automated Signaling Systems Design using Prover Trident
In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects [...]
SOCIAL MEDIA