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