About Anders Linden

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

Embrace the latest evolutions of design automation – SDA Forum 2018

If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is something for you! Using Design Automation The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world (such as RATP, NYCT, SL (Stockholm Metro), Siemens [...]

By |2021-11-20T11:44:52+01:00April 26th, 2018|Events, Software Development|

How to build the Business Case for an Interlocking Design Automation investment

Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to justify the decision to move forward. To build a business case, we compare traditional methods for developing signalling applications with a state of the art process based on formalized specifications and automation tools. Experience shows [...]

By |2021-11-20T12:53:34+01:00April 6th, 2018|Software Development|

Signaling Design Automation Forum on the 15th of May 2018

Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems. The conference will be focusing on Design Automation [...]

By |2018-02-21T13:31:29+01:00February 21st, 2018|Events|

Are ‘Hackatons’ the New Way of producing Innovative Ideas for the Railway Industry?

On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day ‘Hackaton’ in order to share ideas and concepts to expedite delivery of High Speed Two (HS2), one of the largest modern infrastructure projects in the UK. The best ideas will be selected to go through to [...]

By |2021-11-20T11:47:28+01:00November 7th, 2017|Events, Software Development|

Justify Investment in Modern Rail Control Solutions

Software for automating the development of signalling control solutions is critical for fast, cost efficient and safe development and deployment of modern rail control solutions. Business case for rail control solutions To build a business case for software automation for rail control you should compare traditional methods for developing signalling applications with a state of [...]

By |2017-11-02T07:50:05+01:00October 18th, 2017|Signaling Solutions|

Formal Methods for Railway Interlocking

In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, which can lead to serious accidents, and the capacity of railroads was [...]

By |2017-10-13T12:16:04+01:00October 13th, 2017|Formal Methods, Signaling Solutions|

A New Way of Thinking for the Railway Industry

There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler. In the article Is ‘outside-the-box’ thinking enough to implement new rail [...]

By |2017-10-05T13:10:42+01:00October 3rd, 2017|Signaling Solutions|

When the Future is tied to the Railway Industry

Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on the states economy. The report is an early research product supporting the 2018 California State Rail Plan and provides an overview of opportunities for how railway can address the states needs and challenges in the [...]

By |2017-09-21T10:39:08+01:00September 11th, 2017|Signaling Solutions|

Prover proud member of UNIFE

UNIFE is an organization for the European rail industry, the Association gathers over 100 of Europe’s leading rail supply companies and it also brings together 14 national rail industry associations of European countries. UNIFE members have an 84% market share in Europe and supply 46% of the worldwide production of rail equipment and services. UNIFE [...]

By |2017-09-21T11:32:40+01:00June 26th, 2017|Company News, Events|

We are looking for Developers!

Are you talented, ambitious and enthusiastic? Do you want to contribute to a sustainable and safe world? Then keep on reading! We are now looking for Developers that demonstrated an interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having a MA/PhD degree, or by having done similar [...]

By |2018-07-25T11:19:55+01:00February 20th, 2017|Company News|
Go to Top