Prover Trident

Prover Trident是服务于联锁自动化设计的一套完整的工作过程和工具链，聚集了Prover公司十多年来研发成果，并在世界范围里得到了诸多实际应用。不同于其它单一应用工具，Prover Trident覆盖了联锁软件设计的全生命周期。

根据信号规则使用PiSPEC语言定义形式化需求，并使用Prover iLock工具配置、生成和检查特殊应用。对现场实际使用的软件的安全证明是对软件安全需求的数学证明，它是由独立签署验工具Prover Certifier生成的。

根据规则自动化生成并检查特定应用具有以下优势

• 降低现场部署前的准备时间
• 极大减少系统中的错误
• 降低工程化过程的难度
• 具备一致性和互操作性
• 实现高效的需求或信号规则变更管理