News

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

HLL crash course for Safety Engineers

Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the [...]

By Gunnar Smith|2020-04-27T14:45:25+01:00April 28th, 2020|Signaling Solutions|

The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of [...]

By Ida George|2020-04-08T16:27:34+01:00April 8th, 2020|Formal Verification|

We have now published a new date when we will run our popular webinar about Formal Verification. The date for [...]

In a previous blog post, a playful concrete example was given to show off PSL's newly added support for IEEE [...]

303, 2020

By Iago Abal|2020-03-05T09:23:43+01:00March 3rd, 2020|Company News, Product News|

From more than two months down to less than two weeks, or six times faster. From almost two weeks down [...]

2402, 2020

By Daniel Fredholm|2020-02-24T07:55:21+01:00February 24th, 2020|Formal Verification|

If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]

1702, 2020

By Daniel Fredholm|2020-02-17T07:42:11+01:00February 17th, 2020|Formal Methods, Formal Verification|

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