Prover Trident®

Complete Process and Tool Suite for Interlocking Design Automation

About 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 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.

prover trident illustration


pispec symbol white

Prover Studio

An Integrated Development Environment for Formal Specifications

Read more
prover ilock symbol white

Prover iLock®

Development of Specific Systems based on Principles

Read more
prover certifier symbol white

Prover Certifier

Sign-off Verification of Specific Systems

Read more


The automated generation and checking of applications based on principles provides:

  • Reduced time-to-market
  • Systems with fewer errors
  • Reduced engineering effort
  • Consistent and interoperable system
  • Efficient management of change in requirements/principles

Want to know more about Prover Trident®?

Download our brochure about Prover Trident by filling out the form.

You can also contact us by calling or sending an e-mail to:

Phone: +46 (0)8 617 68 00