News

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

Why the railway industry needs to modernize its methods of safety assurance

By Gunnar Smith|2020-11-28T09:17:17+01:00November 18th, 2020|Categories: Formal Verification|Tags: Formal Methods, Railway Safety|

For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]

By Lidiya Kondakova|2020-10-14T13:55:54+01:00October 14th, 2020|Formal Methods|

The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal [...]

By Olav Bandmann|2020-09-24T06:37:46+01:00September 24th, 2020|Formal Verification|

Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover [...]

By Anders Linden|2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

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

1006, 2020

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

1205, 2020

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

3004, 2020

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