About Anders Linden

CEO at Prover Technology. Joining Prover in 2016, Mr. Lindén brings experiences of managing international software companies to our company.

Prover published in Global Railway Review

Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article is now available online and open for everyone to read. In the interview, Gunnar explains how the railway industry can overcome the challenges of rail control projects. He talks about the typical challenges faced in [...]

By |2022-04-21T08:24:53+01:00April 21st, 2022|Company News|

Why every rail control project should start with a Reference Model Implementation

When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your needs, requirements, and expectations is a critical first step. Doing so helps you avoid common project roadblocks— like long and unpredictable delivery schedules, tender specification issues, or errors discovered too late in the production process. [...]

By |2021-12-14T10:57:18+01:00December 14th, 2021|Signaling Solutions|

The Key to a Successful Rail Control Project

Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude of challenges for both infrastructure managers and suppliers. Here, we’ll take a deeper look at the underlying issues and discuss how implementing Signal Design Automation can help you eliminate inefficiencies and costly errors—and finally gain [...]

By |2021-12-14T10:54:54+01:00December 14th, 2021|Signaling Solutions|

Takeaways from the Signaling Design Automation Forum 2021

November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. It is a forum for sharing [...]

By |2021-12-09T11:05:06+01:00December 9th, 2021|Company News, Events|

Signaling Design Automation Forum 2021 – Paris

A few years back we got the idea of creating a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification technologies to automate design and verification of railway signaling [...]

By |2021-09-23T12:16:45+01:00September 21st, 2021|Events|

Save the date – SDA Forum in Paris March 23rd

2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification– software technologies to automate design and verification of [...]

By |2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

Prover to attend SmartMetro and CBTC World Congress in Madrid on November 25th to 27th

Come visit us and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation for Rail Control Software. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using [...]

By |2021-11-20T11:49:57+01:00November 22nd, 2019|Events|

A summary of the Signaling Design Automation Forum 2019

November 6 Prover hosted Signaling Design Automation Forum 2019 in Shanghai. Our intention was to gather signaling professionals from the railway industry as well as related safety critical industries to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. Especially focusing on Safety [...]

By |2019-11-21T12:48:31+01:00November 19th, 2019|Events|

Prover now in China!

Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team is delighted to serve this dynamic market and is looking forward to contributing to its continued growth. One and a half year ago we decided to execute a China market strategy and I am very [...]

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

Prover will exhibit at Elmia Nordic Rail 2019, October 8-10

For us at Prover, Nordic Rail lets us get the chance to meet our customers, primarily in the Nordic countries but also many foreign guests who are interested in the Nordic projects. Come visit us in booth B03:72/2 and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation [...]

By |2019-09-18T07:15:18+01:00September 17th, 2019|Events|
Go to Top