Prover iLock is a desktop tool for development of application software for railway interlocking systems.

Prover iLock automatically turns PiSPEC IP together with an application configuration into revenue service code for the given target hardware, complete with functional test and safety verification reports.