News
Follow our Blog and Learn about current Events and Activities at Prover
New webinar on Signaling Design Automation
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is [...]
Subscribe here!
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 [...]
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 [...]
SOCIAL MEDIA