News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
Why Formal Verification – The Suitability of Formal Verification
Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]
Why Formal Verification – Verifying Safety Requirements on Railway Systems
The subject I am going to write about this time is not an easy one. I will try to explain [...]
HLL Forum takes the step of creating an official language definition for HLL 3.0!
On November 21st, we met at the office of Ikos Consulting in Levallois-Perret. In the presence of the creators, the [...]
SOCIAL MEDIA