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|2018-12-14T13:19:39+00:00December 14th, 2018|Events|

On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major [...]

It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]

By Jesper Carlström|2018-11-23T16:18:27+00:00November 23rd, 2018|Product News|

We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]

1411, 2018

By Thierry Lartaud|2018-11-14T11:35:10+00:00November 14th, 2018|Events|

This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]

1810, 2018

By Anders Linden|2018-11-14T11:34:47+00:00October 18th, 2018|Events|

We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and [...]

1009, 2018

By Lars Helander|2018-09-10T14:25:50+00:00September 10th, 2018|Formal Methods|

In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in [...]