anders.linden

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 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|

CASCO Signal Ltd. licenses Formal Verification solution from Prover Technology

We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover Technology (Prover) have entered into a long-term agreement for the supply of Prover’s Signal Design Automation product suite Prover Trident. The initial focus is to further strengthen CASCO’s position as a leading supplier of signaling systems for China’s railway segment, by the use [...]

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

Meet us at the RSSI C&S Exhibition – Sept. 21-24, 2019

Read more about the 59th Annual RSSI C&S Exhibition, Minneapolis, MN. Sept. 21-24, 2019 here! This year the RSSI C&C Exhibition returns to Minneapolis, in conjunction with Railway Interchange, bringing conferences and exhibitions from AREMA, RSI, REMSA and RSSI together under one roof. An exiting event, not to be missed! Prover will be showcasing the [...]

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

Save the date – SDA Forum in Shanghai Nov 6

2017 an idea was born at Prover Technology, we wanted to create a forum for sharing experiences and 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 [...]

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

New Concepts and Competencies needed to meet Future Demand in the Railway Industry

It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing signaling solutions. Most interlocking system projects today are developed with the following characteristics: Errors are found late Late changes are costly Schedules to deliver interlocking software are long and unpredictable There is a need to [...]

By |2018-12-04T13:32:04+01:00December 4th, 2018|Company News, Signaling Solutions, Software Development|

Prover at CBTC World Congress- October 29th – 31st 2018!

We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. 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 Formal [...]

By |2018-11-14T11:34:47+01:00October 18th, 2018|Events|

Prover at Innotrans 2018!

We will exhibit at Innotrans in September. You will find us in Hall 11.2 at booth 209! Come to our booth to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to [...]

By |2018-07-25T12:12:06+01:00July 25th, 2018|Events|

A summary of the Signaling Design Automation Forum 2018

The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation – software technologies to automate design and verification of railway signaling systems. We wanted [...]

By |2018-06-07T15:39:04+01:00June 7th, 2018|Events|
Load More Posts