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).
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).
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
