Specula：一种利用 TLA+ 查找系统代码中深层漏洞的工具
Specula: An agentic tool for finding deep bugs in system code using TLA+
