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