Prover Trident is a complete process and tool suite for interlocking design automation.

With numerous applications around the world, Prover Trident is the result of more than ten years of R&D.

Unlike other point tools, Prover Trident covers the whole life-cycle for interlocking software, based on

  • PiSPEC IP: defining the signalling principles
  • Prover iLock: development of specific systems based on principles
  • Prover Certifier: sign-off verification of of specific systems