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® 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

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

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

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

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?