Prover Technology

San Bruno,  CA 
United States
  • Booth: 4422

Prover Technology offers the Prover iLock Process for automated coding, documentation, simulation and formal safety verification of application software, targeting major interlocking system platforms such as ElectroLogIXS, iVPI, Microlok II and Westrace. Users of the Prover iLock Process include major railroads and transit agencies such as Canadian Pacific, NYCT and the Paris Metro (RATP), as well as signal systems suppliers. 

Brands: Prover iLock, Prover Certifier and PiSPEC

For technical assistance with this web page, please contact support