Delivered Solutions to Railways around the World.

In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.

In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.

In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...

Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...

Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...

In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...

In projects for Jernbaneverket’s Nordlandsbanen line, the Ganddal freight terminal and the double track Sandnes-Stavanger, Prover provided turnkey services for safety...

In this project, Prover provided tools and services to help Infrabel increase the quality of requirement specifications for tendering of level crossing systems. Infrabel was preparing to replace...

As part of a project for the Ministry of Railways of the People’s Republic of China, GE Transportation supplied 20+ interlocking systems for the Qinghai-Tibet railway. Prover joined this project...

In this project, Prover provided interlocking software to GE under a turn-key supply. The purpose was to reduce the calendar time required to develop, validate and verify interlocking software...

Prover worked with Siemens UK (formerly Invensys Rail) on generation and checking of Westrace Mk II interlocking software for Network Rail’s Modular Signaling...

In this project, Prover provides the Prover Trident solution to Ansaldo STS, for development and safety approval of interlocking software for Roslagsbanan, a mainline railway line that connects...

New York City Transit (NYCT) is modernizing the signaling system in its subway by installing CBTC and replacing relay-based interlockings with computerized, solid state interlockings (SSIs).