LLM 1

• 软件工程形式化入门（六）：AI 写完代码，谁来验收？大模型与形式化方法的边界 Aug 20, 2026