第6章 模型检测 模型检测的应用 -常用于硬件验证和通信协议的验证中 -现在开始用于软件的验证 模型检测过程的大体步骤 -由用户描述的一个模型开始 -判断用户所断言的假设在模型中是否有效 -若无效，则产生由执行轨迹构成的反例第6章 模型检测 • 模型检测的应用 – 常用于硬件验证和通信协议的验证中 – 现在开始用于软件的验证 • 模型检测过程的大体步骤 – 由用户描述的一个模型开始 – 判断用户所断言的假设在模型中是否有效 – 若无效，则产生由执行轨迹构成的反例