PiSPEC and Prover iLock The Prover Process
Featured Technology
PiSPEC

PiSPEC使规格工程师通过清晰且经过验证的形式语言,获取信号技术。

  • 确保要求明确
  • 识别并解决说明方面的歧义和错误
  • 群体知识文件化
Find Out More
Prover iLock

应用工程师可以在PiSPEC数据库的基础上利用Prover iLock自动编码、模拟和形式验证。

  • 投中更多的标
  • 扩大工程领域
  • 提高安全性、一致性和可靠性
Find Out More