News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
Why Formal Verification – The Solution to the Verification Problem
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
SOCIAL MEDIA