验证的挑战

状态空间爆炸的挑战--驱动各种状态转换和输入的情况

查找不正确行为的挑战--标记设计出来的不正确的行为

对验证工程师的要求：

对所有可能发生在设计中的问题保持开放的思想

拥有开发测试激励和检测机制的能力

丰富发现设计缺陷的经验