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.

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+00: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+00: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+00: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+00: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+00: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+00: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+00:00January 23rd, 2017|Events|

United Rail new Partner in North America

United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North American freight, passenger and mass transit markets. Jacksonville, Florida, November, 2016 United Rail, Inc. announces a new agreement with Prover Technology to represent their products and solutions to new clients in the North [...]

By |2018-07-27T09:36:15+00:00November 24th, 2016|Company News|
Load More Posts