形式化方法入门

本系列将系统介绍形式化方法的核心概念和实践技巧，适合初学者入门。 系列内容 1. 形式化方法概述 2. 形式化规约语言 3. 模型检验基础 4. 定理证明入门 5. 程序验证实践

作者Bin Fang