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 next webinar here.