第6章 模型检测 ·内容概述 -命题逻辑和谓词逻辑的简短回顾 -线性时态逻辑及其在模型检测中的应用 一计算树逻辑及其在模型检测中的应用第6章 模型检测 • 内容概述 – 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用