News

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

Why Formal Verification – The Suitability of Formal Verification

Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]

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

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

By Anders Linden|2019-11-21T12:48:31+01:00November 19th, 2019|Events|

November 6 Prover hosted Signaling Design Automation Forum 2019 in Shanghai. Our intention was to gather signaling professionals from the [...]

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

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

411, 2019

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

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

111, 2019

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

1010, 2019

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