About Ida George

Office manager at Prover Technology.

IKOS Consulting & Prover Technology join forces

We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development of Rail Control Systems. Innovative transport systems require a higher level of automation and safety. PROVER addresses these challenges with its "Prover Trident" and "Prover Certifier" solutions, which enable the cost-efficient development of safe railway [...]

By |2019-03-21T09:49:34+01:00March 21st, 2019|Company News|

Transport system 2018-2029 – The Swedish Transport Administrations proposals for National Plans for the Future Railroad

On August 31, 2017, the Swedish Transport Administration's Director General, Lena Erixon, submitted to the Swedish Government the "Proposal for National Transport Planning Plan 2018-2029". Erixon points out that the starting point for this plan has been to work with, and contribute to an efficient, modern and sustainable transport system. This plan represents a financial [...]

By |2021-11-20T12:51:43+01:00October 11th, 2017|Signaling Solutions|

Prover iLock Demo

Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready for compilation and installation on the target platform. In this demo we will show, in short: Configuration of a new interlocking Interactive and scripted simulation of the resulting signaling system Automatic generation of code for [...]

By |2017-10-04T09:20:42+01:00October 4th, 2017|Signaling Solutions|

Nordic Rail the 10-12th of October

Elmia Nordic Rail is Scandinavia’s main railway exhibition. The trade fair show the latest products, innovations and services. 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 and meet us there [...]

By |2017-09-21T11:31:02+01:00June 28th, 2017|Events|

What’s the point of Formal Methods?

Railway signaling systems are surprisingly expensive to produce. Why did this happen? 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, [...]

By |2017-09-21T11:34:31+01:00May 29th, 2017|Formal Methods|

Demonstration of an Interlocking Design Automation solution

Prover wants to show you how you can manage interlocking design safely and efficiently by using modern methodologies and tools. We have created a demo that will show how to use a modern Interlocking Design Automation solution, i.e. Prover Trident. During the demonstration we walk you through how to create an interlocking application software using [...]

By |2017-09-21T11:38:58+01:00May 19th, 2017|Signaling Solutions|
Go to Top