News

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

Prover now in China!

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

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

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

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

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

2608, 2019

By Anders Linden|2019-08-28T11:01:14+01:00August 26th, 2019|Events|

Read more about the 59th Annual RSSI C&S Exhibition, Minneapolis, MN. Sept. 21-24, 2019 here! This year the RSSI C&C [...]

1007, 2019

In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in [...]

807, 2019

By Anders Linden|2019-09-17T09:02:35+01:00July 8th, 2019|Events, Formal Verification|

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