Skip to site menu Skip to page content
Prover Technology

Thank you.

Please check your email to download the Product.

Prover iLock

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.

Related Content