Prover Certifier

Prover Certifier是目前市场上唯一的签核验证工具，它让您使用形式化验证自动生成满足CENELEC EN50128 SIL 4标准的完整安全证据。

借助Prover Certifier，您无需花费大量资源来进行诸如手动检查和安全测试之类的耗时任务，而是构建系统的形式化正确性证明。 相较于传统安全证据，这一证明不仅只需花费一小部分时间即可完成，而且还提供 100% 的覆盖率，因为形式化验证可以保证发现任何错误，甚至包括那些通过测试都极难发现的错误。 由于 Prover Certifier在符合 CENELEC SIL 4 的合规流程下精心开发的，因此它的判断完全可信，并且还可以替代其他证据。