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.