Prover Certifier - Railway Technology
Join Our Newsletter - Get important industry news and analysis sent to your inbox – sign up to our e-Newsletter here

Prover Certifier is a sign-off verification tool, creating CENELEC EN50128 SIL 4 compliant safety evidence for the Specific Application software based on formal verification.

Prover Certifier minimises the need for traditional safety verification tasks such as testing and code review.

More About This Company