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 Daniel Fredholm|2020-02-10T07:14:57+01:00February 10th, 2020|Formal Methods, Formal Verification|

The subject I am going to write about this time is not an easy one. I will try to explain [...]

By Nicolas Aucouturier|2019-11-25T09:22:11+01:00November 24th, 2019|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 [...]

1911, 2019

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

511, 2019

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