Project Description
视频资料
形式化验证
了解为什么形式化验证是安全验证的唯一解决方案
安全验证对于联锁至关重要。 在本次网络研讨会中,我们将描述安全验证的一般问题,并阐释形式化验证是验证安全要求时能提供 100% 覆盖率的唯一方法。
在本次网络研讨会中,您将了解到:
- 状态空间爆炸
- 为什么传统的验证方法是不够的
- 为什么形式化验证提供了解决方案
安全验证对于联锁至关重要。 在本次网络研讨会中,我们将描述安全验证的一般问题,并阐释形式化验证是验证安全要求时能提供 100% 覆盖率的唯一方法。
在本次网络研讨会中,您将了解到: