分享想法与学习的空间——记录研究心得、技术探索与生活感悟。
介绍形式化方法的基本概念和应用场景。
记录近期的研究进展和学习心得。
本教程将介绍如何使用 Jekyll 和 GitHub Pages 搭建个人博客。
欢迎来到我的个人博客！这是第一篇博文，介绍一下这个博客的功能和特点。
今天在研究循环不变式生成的新方法，发现用矩阵代数来表示仿射变换可以大大简化问题。
阅读了一篇关于静态分析的新论文，对于指针分析的精度提升有了新的想法。
尝试了新的代码编辑器配置，效率提升了不少。配置文件分享在 GitHub 上。
整理了之前关于内存分配器形式化建模的笔记，准备写一篇总结文章。
本系列将系统介绍形式化方法的核心概念和实践技巧，适合初学者入门。 系列内容 1. 形式化方法概述 2. 形式化规约语言 3. 模型检验基础 4. 定理证明入门 5. 程序验证实践
本系列介绍程序分析的核心技术，包括静态分析、数据流分析、抽象解释等。 系列内容 1. 程序分析概述 2. 数据流分析基础 3. 抽象解释理论 4. 指针分析技术 5. 形状分析方法
作者 Flemming Nielson, Hanne R. Nielson, Chris Hankin
系统介绍程序分析的理论基础与实践方法，适合研究生和研究人员阅读。
作者 Edmund M. Clarke, Orna Grumberg, Doron A. Peled
全面介绍模型检验的理论与实践，是学习形式化验证的经典教材。
Kauas pilvet karkaavat
导演: Aki Kaurismäki
阿基·考里斯马基的芬兰神作，用堪比赫尔辛基寒冬的克制，讲了个让你笑出眼泪的悲惨故事。
Interstellar
导演: Christopher Nolan
一部关于爱、时间与人类生存的史诗级科幻电影，跨越星际的冒险旅程。
Inception
一部关于梦境与现实交织的科幻惊悚片，探索人类潜意识的边界。
