Bin Fang

6 文章1 系列1 分类

系列

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

介绍形式化方法的基本概念和应用场景。

记录近期的研究进展和学习心得。

本教程将介绍如何使用 Jekyll 和 GitHub Pages 搭建个人博客。

欢迎来到我的个人博客！这是第一篇博文，介绍一下这个博客的功能和特点。

介绍几种常用的形式化规约语言，包括 Z notation、TLA+ 和 Alloy。

形式化方法是指用数学方法来描述、分析和验证计算机系统的技术。