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.
We are proud to announce that Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-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. The rail and metro industry is moving to this new standard, which is replacing the way-side standard EN 50128 but also covering rolling stock applications.
EN 50716 is a clear improvement over EN 50128. Model-based development and verification is encouraged more than before: “Models can also reduce the need for certain activities, particularly when using formal proofs.”. Formal Methods are now highly recommended for all kinds of software.
With the release of version 1.4, we meet the complex requirements of the rail and metro domain. Besides introducing the new norm compliance, several improvements have been included in this release. Prover Certifier continues to be EN50128-compliant as well.
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
