News

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

Verification of Safety Requirements

By Gunnar Smith|2021-01-11T12:57:47+01:00January 7th, 2021|Categories: Formal Verification|

There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]

By Gunnar Smith|2020-12-14T11:10:16+01:00December 14th, 2020|PSL|

Our model checker PSL has taken significant performance leaps compared to its predecessors and previous generations, for many applications [...]

By Iago Abal|2020-12-03T15:59:02+01:00December 3rd, 2020|Company News, Product News|

The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first [...]

By Gunnar Smith|2020-12-01T16:55:47+01:00November 18th, 2020|Formal Verification|

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

1410, 2020

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

2409, 2020

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

2306, 2020

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