Formal Verification
Prover Certifier®
Prover Certifier is the leading sign-off verification tool that allows you to automatically produce complete safety evidence for your signaling logic using formal verification.
Prover Certifier has been approved by TÜV NORD as a CENELEC EN50128-compliant T2 tool for SIL 4 applications. This means that it fulfills the toughest requirements for verification and validation tools for safety-critical systems with railway applications in the European Union.
About Prover Certifier®
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.
Time-saving
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.
Trusted
Since Prover Certifier has been carefully developed in a CENELEC-compliant process, and certified as a EN50128-compliant T2 tool for SIL 4 applications, its judgment can be fully trusted and can replace other evidence.
100% coverage
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.
Cost-saving
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 & Usage
Automated production of CENELEC EN 50128 SIL 4 compliant safety evidence.
Mature and proven formal verification technology.
Can be used with multiple target platforms, programming languages and development processes.
Proven in use for a wide variety of applications, including CBTC, ERTMS, traditional interlockings (both computerized and relay based) and onboard systems.
References
Prover’s innovative solution bring benefits to many types of Rail Control Projects.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Book A demo
Learn the possibilities with Prover – in action!
Book a 30 minute demo and learn about what benefits Prover products can bring to you and your organisation.
We’ll cover how to:
Prefer speaking on the phone? Contact us on +46 (0)8 617 68 00.
+46 (0)8 617 68 00