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.