Product News

AI-powered Proof Strategies 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 |2019-10-08T09:48:20+01:00September 30th, 2019|Company News, Product News|

Formal Verification Performance Jump

We are starting to receive customer feedback about our model checker PSL. Truly exciting reading!      “Our proof time has decreased by 12 times on average” one customer said. The comparison was made with the old model checker Tecla. Another customer reported:      “7 times faster on average” and when they tried our [...]

By |2018-11-23T16:18:27+01:00November 23rd, 2018|Product News|