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.<\/p>\n
Prover Certifier has been certified by T\u00dcV NORD as a CENELEC EN 50128-compliant and 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.<\/span><\/p>\n<\/div>Book a demo<\/span><\/i><\/a><\/div>Read Product Sheet here<\/span><\/i><\/a><\/div><\/div><\/div><\/span><\/div><\/div><\/div><\/div><\/div><\/i><\/div><\/div><\/div><\/div>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\nAbout Prover Certifier\u00ae<\/h2><\/div><\/div><\/div>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.<\/p>\n<\/div><\/div><\/div>Time-saving<\/h5><\/div>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.<\/span><\/p>\n<\/div><\/div><\/div>Trusted<\/h5><\/div>Since Prover Certifier has been carefully developed in a CENELEC-compliant process, and certified as a EN50128-compliant <\/span>and EN 50716-compliant<\/span> T2 tool for SIL 4 applications, its judgment can be fully trusted and can replace other evidence.<\/span><\/p>\n<\/div><\/div><\/div>100% coverage<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div>Cost-saving<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div><\/div><\/div>QUALITY<\/h6><\/div>Prover Certifier \u2013 SIL 4 certified by T\u00dcV NORD<\/h3><\/div><\/div><\/div>Prover Certifier has been certified by T\u00dcV NORD as a CENELEC EN 50128-compliant and EN 50716-compliant T2 tool for SIL 4 applications.<\/p>\n<\/div><\/div><\/div>The certificate<\/span><\/i><\/a><\/div><\/a><\/span><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Benefits & Usage<\/h2><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Automated CENELEC EN 50128\/50716 SIL 4 compliant safety evidence.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Mature and proven formal verification technology.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Can be used with multiple target platforms, programming languages and development processes.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Proven in use for a wide variety of applications, including CBTC, ERTMS, traditional interlockings (both computerized and relay based) and onboard systems.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>References<\/h6><\/div>Prover\u2019s innovative solution bring benefits to many types of rail control projects<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div>
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.<\/p>\n<\/div><\/div><\/div>
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.<\/span><\/p>\n<\/div><\/div><\/div>Trusted<\/h5><\/div>Since Prover Certifier has been carefully developed in a CENELEC-compliant process, and certified as a EN50128-compliant <\/span>and EN 50716-compliant<\/span> T2 tool for SIL 4 applications, its judgment can be fully trusted and can replace other evidence.<\/span><\/p>\n<\/div><\/div><\/div>100% coverage<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div>Cost-saving<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div><\/div><\/div>QUALITY<\/h6><\/div>Prover Certifier \u2013 SIL 4 certified by T\u00dcV NORD<\/h3><\/div><\/div><\/div>Prover Certifier has been certified by T\u00dcV NORD as a CENELEC EN 50128-compliant and EN 50716-compliant T2 tool for SIL 4 applications.<\/p>\n<\/div><\/div><\/div>The certificate<\/span><\/i><\/a><\/div><\/a><\/span><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Benefits & Usage<\/h2><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Automated CENELEC EN 50128\/50716 SIL 4 compliant safety evidence.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Mature and proven formal verification technology.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Can be used with multiple target platforms, programming languages and development processes.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Proven in use for a wide variety of applications, including CBTC, ERTMS, traditional interlockings (both computerized and relay based) and onboard systems.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>References<\/h6><\/div>Prover\u2019s innovative solution bring benefits to many types of rail control projects<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div>
Since Prover Certifier has been carefully developed in a CENELEC-compliant process, and certified as a EN50128-compliant <\/span>and EN 50716-compliant<\/span> T2 tool for SIL 4 applications, its judgment can be fully trusted and can replace other evidence.<\/span><\/p>\n<\/div><\/div><\/div>100% coverage<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div>Cost-saving<\/h5><\/div>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.<\/p>\n<\/div><\/div><\/div><\/div><\/div>QUALITY<\/h6><\/div>Prover Certifier \u2013 SIL 4 certified by T\u00dcV NORD<\/h3><\/div><\/div><\/div>Prover Certifier has been certified by T\u00dcV NORD as a CENELEC EN 50128-compliant and EN 50716-compliant T2 tool for SIL 4 applications.<\/p>\n<\/div><\/div><\/div>The certificate<\/span><\/i><\/a><\/div><\/a><\/span><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>Benefits & Usage<\/h2><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Automated CENELEC EN 50128\/50716 SIL 4 compliant safety evidence.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Mature and proven formal verification technology.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Can be used with multiple target platforms, programming languages and development processes.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/span><\/div><\/div><\/div>Proven in use for a wide variety of applications, including CBTC, ERTMS, traditional interlockings (both computerized and relay based) and onboard systems.<\/h5><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>References<\/h6><\/div>Prover\u2019s innovative solution bring benefits to many types of rail control projects<\/h2><\/div><\/div><\/div>View all<\/a><\/h6><\/div><\/div><\/div>
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.<\/p>\n<\/div><\/div><\/div>
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.<\/p>\n<\/div><\/div><\/div><\/div><\/div>
Prover Certifier has been certified by T\u00dcV NORD as a CENELEC EN 50128-compliant and EN 50716-compliant T2 tool for SIL 4 applications.<\/p>\n<\/div><\/div><\/div>