DEMO VIDEO
Demonstration of an Interlocking Design Automation Solution
Code generation, simulation, and formal verification
Interlocking design can be done efficiently, with guaranteed safety using modern tools and methodologies. In this video we will demonstrate how to use a modern Interlocking Design Automation solution. The demonstration is based on Prover Trident.