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 10 years of R&D. Unlike other point tools, Prover Trident covers the whole life-cycle for interlocking software.
Based on signalling principles defined as formal requirements (PiSPEC IP), specific applications are configured, generated and checked using the Prover iLock tool suite. Safety evidence for the revenue service software is based on mathematical proof, generated with the independent sign-off verification tool Prover Certifier.