We have successfully Delivered Signaling Design Automation Solutions to Railways around the World

Some of Prover’s global deployments

Prover has successfully delivered solutions for signaling 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 of deployments of Prover’s signaling 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 signaling 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...