News

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

Save the date – SDA Forum in Paris Nov 24

By Anders Linden|2020-06-23T11:39:00+01:00June 23rd, 2020|Categories: Events, Formal Verification|

2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and [...]

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

In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and [...]

In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects [...]

2804, 2020

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

804, 2020

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

1703, 2020

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