LLM 2 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界 Aug 20, 2026 Formalization in Software Engineering (6): AI Wrote the Code. Who Checks It? Aug 20, 2026