Prover Trident^®

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

根据信号规则来应用PiSPEC语言定义的形式化需求，使用Prover iLock工具链可以配置、生成和检查特定的应用程序。通车服务使用的软件安全证据是基于数学证明的，它由独立的签核验证工具Prover 认证器生成。

基于规范的应用程序的自动生成和检查可以：

• 缩短上市时间
• 减少系统中存在的错误
• 减少工程工作量
• 保持一致且可交互操作的系统
• 针对需求或原则变更的有效管理