Prover Certifier – Construct a Formal Correctness Proof of Your Rail System2018-11-16T13:03:16+00:00

Prover Certifier

Construct a Formal Correctness Proof of Your System

About Prover Certifier

Prover Certifier is the only sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using formal verification.

Rather than spending resources on time-consuming tasks such as manual reviews and safety testing, with Prover Certifier you construct a formal correctness proof of your system. Not only is the proof completed in a fraction of the time it takes to produce traditional safety evidence, it also provides 100 % coverage as formal verification is guaranteed to discover any error, even those that are extremely hard to find by testing. Since Prover Certifier has been carefully developed in a CENELEC SIL 4 compliant process, its judgment can be fully trusted and can replace other evidence.

There is no need to perform extensive code reviews and safety testing anymore. This saves both time and costs, while minimizing the risk of human error in the review and test process, and reduces the dependency on certified test personnel. The system can be taken into revenue service much earlier and you can be certain that it is safe.

Benefits

  • Automated production of CENENLEC EN 50128 SIL 4 compliant safety evidence.
  • Supports multiple target platforms, programming languages and development processes.
  • Mature and proven formal verification technology.
  • Proven in use for a wide variety of applications, including CBTC, ERTMS, traditional interlockings (both computerized and relay based) and onboard systems.