News

Follow our Blog and Learn about current Events and Activities at Prover

Major releases of PSL and Prover iLock

By Jesper Carlström|2019-11-06T16:35:57+01:00November 5th, 2019|Categories: Company News|

We are proud to present new major versions of two of our most important products! Thanks to all of you [...]

By Lars Helander|2019-11-04T10:55:48+01:00November 4th, 2019|Formal Verification|

We at Prover are very happy to announce the release of version 4.0 of our model checker Prover SL CE [...]

By Ida George|2019-11-01T10:34:19+01:00November 1st, 2019|Events|

This year’s Signaling Design Automation Forum draws closer and is now fully booked! You can still sign up on our [...]

By Gunnar Smith|2019-10-10T10:32:09+01:00October 10th, 2019|Events|

This September 21-24th, the 59th annual RSSI C&S Exhibition, in conjunction with Railway Interchange, was held in the Minneapolis Convention [...]

3009, 2019

By Anders Linden|2019-10-01T08:01:07+01:00September 30th, 2019|Company News|

Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team [...]

3009, 2019

By Iago Abal|2019-10-08T09:48:20+01:00September 30th, 2019|Company News, Product News|

Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)! We are [...]

2609, 2019

By Iago Abal|2019-10-04T07:59:29+01:00September 26th, 2019|Events|

We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of [...]