Project Description

视频资料

形式化验证

了解为什么形式化验证是安全验证的唯一解决方案

安全验证对于联锁至关重要。 在本次网络研讨会中,我们将描述安全验证的一般问题,并阐释形式化验证是验证安全要求时能提供 100% 覆盖率的唯一方法。

在本次网络研讨会中,您将了解到:

  • 状态空间爆炸
  • 为什么传统的验证方法是不够的
  • 为什么形式化验证提供了解决方案

请填写右侧表格,观看演示视频。