– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用
文件格式: PPT大小: 843KB页数: 112
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第5章 类型和效果系统（补充）
文件格式: PPT大小: 218KB页数: 10
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章 类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems
文件格式: PDF大小: 295.07KB页数: 93
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第4章 抽象解释（补充）
文件格式: PPT大小: 268KB页数: 21
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章 抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation
文件格式: PDF大小: 438.11KB页数: 99
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第3章 基于约束的分析（补充）
文件格式: PPT大小: 246KB页数: 15
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章 基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis
文件格式: PDF大小: 305.04KB页数: 99
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章 数据流分析（补充）
文件格式: PPT大小: 241.5KB页数: 16
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis
文件格式: PDF大小: 513.93KB页数: 151
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第1章 引言（主讲：陈意云）
文件格式: PPT大小: 311KB页数: 12