News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
More efficient rail control projects using Signaling Design Automation
The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of [...]
Webinar: Formal Verification a solution for railway safety
We have now published a new date when we will run our popular webinar about Formal Verification. The date for [...]
Floating Point Model Checking Put to the Test
In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]
Our model checker PSL up to 60 times faster using AI-optimized proof strategies
From more than two months down to less than two weeks, or six times faster. From almost two weeks down [...]
SOCIAL MEDIA