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 delivers a comprehensive suite of tools designed to streamline and simplify the development, verification, and validation of safety-critical railway and metro signaling systems.

Built to meet the highest standards of safety, efficiency, and innovation, our solutions ensure that every phase of your project runs smoothly, from initial design through to final deployment—helping you achieve safety compliance at every step.

Prover SDA Software Suite
Prover station

Prover Station – Next generation rail signaling systems

Prover Station is a powerful web-based platform designed to handle the complexities of design, verification, and validation (V&V) for rail and metro signaling systems.

Prover studio

Prover Studio® helps you develop, manage, and maintain formal specifications, offering efficient tools for editing and testing.

Key features

  • Write specifications in HLL, sHLL, LCF or PiSPEC

  • Navigate in specifications

  • Have mistakes pointed out as you type

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

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 Labs – A hub for AI innovation

Prover Labs offers developers a unique space to experiment with cutting-edge AI-driven technologies. Explore and interact with early-stage applications in AI, Formal Methods, and Digital Twins.

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

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?