Railway Control and Signalling Systems
- Company Details
- Products & Services
- White Papers
- Press Releases
- Regional Offices
- Contact Company
Canadian Pacific Extends Licensing of Prover iLock for Interlocking System Development
Prover Technology has announced that Canadian Pacific (CP), a Class 1 railway company, has extended licensing of the Prover iLock for American Railroads solution until 2025....
Prover Technology Releases Prover iLock 4.0
Prover Technology, a leading supplier of rail control development software, has announced the release of Prover iLock...
Prover Online from Prover Technology
Prover Technology has announced Prover Online, an online environment for integrated tool chains that perform formal verification of...
Stockholm Metro Licenses Prover iLock
Prover Technology has announced that SL, the infrastructure manager of Stockholm Metro, has licensed a Prover iLock solution for creating requirements for interlocking...
Prover and IKOS Meet Demand for Automated Rail Control Development
Prover Technology and IKOS have announced that they will join forces to better serve customers who seek to introduce automation in the development of rail control systems....
Infrabel Chooses Prover iLock for Level Crossing Systems
Prover Technology has announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements....