Prover Trident
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
