About Iago Abal

This author has not yet filled in any details.
So far Iago Abal has created 4 blog entries.

AI-powered Proof Tactics Pay Off

Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)! We are now able to solve some of the hardest benchmarks in our suite in half the time, and in some cases even 10 times faster! In fact, we are not only getting faster but also more [...]

By |2020-12-01T14:32:24+01:00September 30th, 2019|Company News, Product News|

Prover to attend World Congress on Formal Methods in Porto, Portugal from October 7th to 11th.

We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods. Prover SL CE (PSL) is a state-of-the-art SAT-based model checker, and the result of Prover’s 30-year-long experience in applying formal verification in industry. PSL is used around the world on large industrial models [...]

By |2021-11-20T11:52:38+01:00September 26th, 2019|Events|
Go to Top