News

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

Prover Certifier qualified for CENELEC SIL 4 projects

By Jesper Carlström|2022-11-02T15:53:38+01:00November 2nd, 2022|Categories: Product News|

Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]

By Anders Linden|2022-08-26T15:24:27+01:00August 26th, 2022|Events|

SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn. [...]

By Sara El Mennaoui|2022-07-25T11:43:08+01:00July 25th, 2022|Formal Verification|

As most signal and verification engineers know, when developing and verifying software for rail control systems, testing can be very [...]

By Gunnar Smith|2022-08-17T08:57:28+01:00July 11th, 2022|Digital twin|

When the Stockholm Metro set out to upgrade their rail control system, they contacted us at Prover to assist with [...]

106, 2022

By Anders Linden|2022-06-01T13:24:11+01:00June 1st, 2022|Formal Specifications|

Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later [...]

1105, 2022

By Gunnar Smith|2022-05-11T13:25:38+01:00May 11th, 2022|Company News|

If you want to enable safe and reliable rail transportation while making the best use of available infrastructure, implementing [...]

2804, 2022

By Mats Boman|2022-08-17T08:56:30+01:00April 28th, 2022|Events|

This is a great opportunity to meet with the railway industry and to get better insight in the needs of [...]