Prover wants to show you how you can manage interlocking design safely and efficiently by using modern methodologies and tools. We have created a demo that will show how to use a modern Interlocking Design Automation solution, i.e. Prover Trident.
During the demonstration we walk you through how to create an interlocking application software using automatic generation of code and how to formally verify that the generated code meets the safety requirements, as well as much more.

Our webinar will go through: Introduction, configuration of a new interlocking, interactive and scripted simulation of the resulting signaling system, and automatic generation of code for the interlocking, formal verification of the generated code and recommendations for next steps.
If you are interested and want to learn more about how to do code generation, simulation and formal verification you can sign up to our news.

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