About Anders Linden

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

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|

SafeRail Washington April 11-12

Prover will participate at SafeRail in Washington focus on the topic `Ensuring mission critical safety´. SafeRail is the only dedicated congress for all stakeholders involved in operational safety, digital and physical security on the North American freight and transit railroad network. Find out more at SafeRails website.

By |2017-09-22T13:09:03+01:00January 23rd, 2017|Events|

SmartRail Europe April 5-6

Prover will participate in this years exhibition held in Amsterdam and during this years event we will host a workshop about the benefits of using Formal Verification when delivering Signaling Systems. In the workshop we will look into how requirements vary between infrastructure Managers, addressing different traditions in railway signaling and consider their benefits and [...]

By |2017-09-22T13:10:30+01:00January 23rd, 2017|Events|
Go to Top