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

Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
CentraleSupélec students dive into project together with Prover to get more knowledge about the rail industry and Provers tools.
Here we will explore how rail control and signaling systems can potentially benefit from AI, with a particular focus on generative AI such as Large Language Models (LLMs).