SE 8 软件工程形式化入门（历史篇）：从“什么是计算”到“如何相信程序” Aug 21, 2026 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界 Aug 20, 2026 软件工程形式化入门（五）：准确、快速，还是可靠？静态分析的工程取舍 Aug 19, 2026 软件工程形式化入门（四）：分析器为什么会停下来？从 Transfer Function 到不动点 Aug 18, 2026 软件工程形式化入门（三）：不用记住每个值——从具体状态走向抽象解释 Aug 17, 2026 软件工程形式化入门（二）：程序会走到哪里？从代码、CFG 到程序语义 Aug 16, 2026 软件工程形式化入门（一）：别怕公式——从集合、映射读懂程序状态 Aug 15, 2026 软件工程形式化入门系列 Aug 14, 2026