Introducing Prover Studio

I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have done this years ago. It’s astonishing really that we did not. Here is the story. We established the concept of Prover Trident quite some time ago. The idea is simple: divide signaling software production in [...]

By |2021-05-18T15:42:08+01:00May 10th, 2021|Product News|

New webinar on Signaling Design Automation

Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is a logic editor which increases the efficiency when formalizing specifications, the first step in our Prover Trident process. We have developed a new webinar series that will present the complete process from specification to revenue [...]

By |2021-04-09T16:38:01+01:00April 9th, 2021|Product News, Software Development|

Major releases of PSL and Prover iLock

We are proud to present new major versions of two of our most important products! Thanks to all of you who provided us with feedback about your project needs. We are determined to always improve our solutions and to be the obvious choice for everyone who wants to automate their processes. PSL 4 – model [...]

By |2020-02-21T13:51:57+01:00November 5th, 2019|Company News, Product News|

Floating Point Model Checking

We at Prover are very happy to announce the release of version 4.0 of our model checker Prover SL CE (PSL). The most interesting new feature is support for IEEE 754 floating point calculations, so I will dedicate this technical blog post to floats with a concrete example of a floating point system which we [...]

By |2020-02-21T13:26:22+01:00November 4th, 2019|Formal Verification, Product News|

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|

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|
Go to Top