Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready for compilation and installation on the target platform.
In this demo we will show, in short:

  • Configuration of a new interlocking
  • Interactive and scripted simulation of the resulting signaling system
  • Automatic generation of code for the interlocking
  • Formal verification of the generated code

You can read more about Prover iLock here, and sign up for a longer demo during our next demonstration webinar here.

Share this article

Guide digital twins

Learn more about how to develop specifications with Digital Twins

Fill out your information here.

Do you want news and upcoming events from Prover?

Fill out your information here.

More News & Articles