News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
Subscribe here!
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 [...]
Prover to attend SmartMetro and CBTC World Congress in Madrid on November 25th to 27th
Come visit us and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation [...]
SOCIAL MEDIA