Prover SDA Software Suite – Verify safety in every step of your project.

Prover Trident is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.

Our software suite contains the following three solutions: Prover Studio, Prover iLock and Prover Certifier.

Prover SDA Software Suite

Prover SDA Software Suite – Verify safety in every step of your project.

Prover Trident is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.

Our software suite contains the following three solutions: Prover Studio®, Prover iLock® and Prover Certifier®.

Prover SDA Software Suite
Prover studio
Prover Studio®

Prover Studio® helps you develop, manage and maintain formal specifications.

Key features

  • Write specifications in HLL, sHLL, LCF or PiSPEC

  • Navigate in specifications

  • Have mistakes pointed out as you type

Prover iLock
Prover iLock®

The desktop tool for producing fully documented, tested and verified application software for railway signaling systems.

Key features

  • Build digital twins

  • Inspect, simulate and verify

  • Generate code for your target platform

Prover Certifier
Prover Certifier®

The leading sign-off verification tool that allows you to automatically produce complete safety evidence using formal verification.

Key features

  • Do sign-off formal verification for SIL 4 projects

  • Handle software in C, ADA and several domain-specific languages

  • Simplify your safety case by referring to our certificate

Prover Extractor
Prover Extractor®

The software tool for automated processing, checking and generation of Relay-Based Interlocking (RBI) system schematics.

Key features
  • Extract the logic from relay schematics

  • Navigate in relay schematics

  • Check compliance with guidelines

Prover PSL
Prover PSL®

Prover PSL is a model checker capable of formally verifying big industrial systems. It supports HLL and sHLL.

Key features

  • Prove or disprove properties expressed in HLL or sHLL

  • Debug your system using interactive inspection with the Why tool

  • Choose between many built-in SAT solvers and strategies

Prover Summit
Prover Summit®

Your way to ensure that no one makes unnoted changes to approved documents, drawings or programs.

Key features

  • Create checksums of documents, drawings and programs

  • Verify integrity of files using checksums

  • Monitor file changes live

Want to learn how your project can benefit with Signaling Design Automation?