News

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

Looking back at the RSSI C&S Exhibition 2019

By Gunnar Smith|2019-10-10T10:32:09+01:00October 10th, 2019|Categories: Events|

This September 21-24th, the 59th annual RSSI C&S Exhibition, in conjunction with Railway Interchange, was held in the Minneapolis Convention [...]

By Anders Linden|2019-10-01T08:01:07+01:00September 30th, 2019|Company News|

Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team [...]

By Iago Abal|2019-10-08T09:48:20+01:00September 30th, 2019|Company News, Product News|

Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)! We are [...]

By Iago Abal|2019-10-04T07:59:29+01:00September 26th, 2019|Events|

We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of [...]

1809, 2019

By Thierry Lartaud|2019-10-07T12:44:37+01:00September 18th, 2019|Company News|

Prover est une entreprise destinée aux personnes qui souhaitent faire la différence et contribuer à un monde durable et sûr. [...]

1709, 2019

By Anders Linden|2019-09-18T07:15:18+01:00September 17th, 2019|Events|

For us at Prover, Nordic Rail lets us get the chance to meet our customers, primarily in the Nordic countries [...]

309, 2019

By Anders Linden|2019-09-03T11:56:00+01:00September 3rd, 2019|Company News, Formal Verification|

We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover Technology (Prover) have entered into a long-term agreement [...]