用于控制和信号工程的主导程序、语言和软件
Prover是一种基于PiSPEC和Prover iLock的程序，该程序包括从规范到收费服务、再到将来升级的整个应用周期。
- 改善运营商/供应商之间的关系
- 确保符合标准
- 形式化!
PiSPEC使规格工程师可以利用一种主导、明确、且经过验证的形式语言，获取信号专业技术。
- 确保要求明确
- 克服说明问题
- 群体知识文件化
凭借PiSPEC数据库，应用工程师可以使用Prover iLock自动编码、模拟和形式验证。
- 投中更多的标
- 扩大工程领域
- 提高安全性、一致性和可靠性
Prover Plug-In是一系列验证工具软件组件。通过签订OEM协议，该软件可授权形式验证开发商使用。
- 降低了研发成本和风险
- 满足容量和性能方面的要求
- 主导品牌杠杆
