We have successfully Delivered Solutions to Railways around the World

Our Globally deployed Interlocking Design Solutions

Prover has successfully delivered solutions for interlocking design automation to railway infrastructure managers around the world, including metros of Paris, New York and Stockholm, freight railways in Canada, mainline railways in Sweden and China, and light railway/commuter railways in New York and Stockholm. These are examples deployments of Prover’s interlocking design automation solutions.

The projects range from full Prover Trident solutions to delivery of tools for formal verification, sign-off verification according to CENELEC SIL-4, simulation and test sheet generation. Prover’s offering covers all aspect of interlocking design automation.

Below are presentations of some of the projects where Prover’s solutions  have been deployed.  The reference cases states purpose of the projects, target environment and solutions delivered.


Formal Verification for Stockholm Central

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...


Formal Verification for Infrabel, Belgium

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