2 个精选知识合集。
作者 Bin Fang
本系列将系统介绍形式化方法的核心概念和实践技巧，适合初学者入门。 系列内容 1. 形式化方法概述 2. 形式化规约语言 3. 模型检验基础 4. 定理证明入门 5. 程序验证实践
本系列介绍程序分析的核心技术，包括静态分析、数据流分析、抽象解释等。 系列内容 1. 程序分析概述 2. 数据流分析基础 3. 抽象解释理论 4. 指针分析技术 5. 形状分析方法