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.

  • 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
Demonstration of Prover Studio

Yes please, send me the recording!