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 hosted Signaling Design Automation Forum in Stockholm

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. This year focus was on Digital Twins. SDA forum is a forum for sharing experiences and best practices [...]

By |2022-11-22T11:26:33+01:00November 18th, 2022|Events|

Signaling Design Automation Forum 2022 – Stockholm

SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn. The first conference was hosted by Prover in Stockholm 2018. After the success, we’ve been to Shanghai 2019 and Paris 2021. Now it is time to close the circle in Stockholm again, on the 18th [...]

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

How to establish quality specifications in the tender phase of your rail control project

Of all the steps involved in the tendering process for railway signaling systems, writing the specifications that you will later hand over to suppliers is one of the most consequential when it comes to determining how smooth and successful the rest of your project will be.Here, we will explain how you can succeed in establishing [...]

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

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 |2022-08-17T08:57:45+01:00December 14th, 2021|Digital twin|

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|
Go to Top