形式化验证

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

在本次网络研讨会中，您将了解到：

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