Interlocking design can be done efficiently, with guaranteed safety using modern tools and methodologies. During this webinar we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.
During the demonstration you will learn:
- How to write formal specifications with a modern and customized editing tool
- How to create an interlocking application software using automatic generation of code
- How to investigate the resulting logic using simulation tools
- How to formally verify that the generated code meets the safety requirements