News

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

HLL Forum takes the step of creating an official language definition for HLL 3.0!

By Nicolas Aucouturier|2019-11-25T09:22:11+01:00November 24th, 2019|Categories: HLL – High Level Language|

On November 21st, we met at the office of Ikos Consulting in Levallois-Perret. In the presence of the creators, the [...]

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|2019-11-06T16:35:57+01:00November 5th, 2019|Company 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|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 [...]

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