News

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

Prover to attend SmartMetro and CBTC World Congress in Madrid on November 25th to 27th

By Anders Linden|2019-11-22T09:28:34+01:00November 22nd, 2019|Categories: Events|

Come visit us and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation [...]

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 [...]