Prover Technology

Railway Control and Signalling Systems

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

Canadian Pacific Extends Licensing of Prover iLock for Interlocking System Development

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 Technology Releases Prover iLock 4.0

Prover Online from Prover Technology

Prover Technology has announced Prover Online, an online environment for integrated tool chains that perform formal verification of...

Prover Online from Prover Technology

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

Stockholm Metro Licenses Prover iLock

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

Prover and IKOS Meet Demand for Automated Rail Control Development

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

Infrabel Chooses Prover iLock for Level Crossing Systems