News

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

Introducing Prover Studio

By Jesper Carlström|2021-05-18T15:42:08+01:00May 10th, 2021|Categories: Product News|

I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]

By Gunnar Smith|2021-01-11T12:57:47+01:00January 7th, 2021|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 [...]

1811, 2020

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