News

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

A new version of HLL emerging

By Jesper Carlström|2019-04-10T10:40:23+00:00April 10th, 2019|Categories: Formal Verification|

The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting [...]

By Daniel Fredholm|2019-02-07T10:52:32+00:00February 6th, 2019|Formal Methods, 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|2019-01-31T11:16:12+00:00January 31st, 2019|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 Thierry Lartaud|2019-01-14T15:38:04+00:00January 14th, 2019|Events|

We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on [...]

1412, 2018

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

412, 2018

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

2311, 2018

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