中文资讯 机器之心 2026-08-27T00:02 正文 thin 0 words Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时 英文标题：Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时 打开原文相关 2 · 机会 0 中文 中文全文翻译正在补齐，可先查看下方英文原文。 English / 原文