AGI Hunt· tianyin_xu·· 3 小时前AI 评分40
TLA-Verus：用 LLM 智能体自动证明 TLA+ 规约的时序性质
TLA-Verus:用 LLM 智能体自动证明 TLA+ 规约的时序性质
AI 导读
NeurIPS'26 workshop 论文 TLA-Verus 将 GitHub 上的 TLA+ 规约翻译成 Verus，并由 LLM 智能体证明其中的安全性与活性性质。
来源：AGI Hunt · agihunt.info
TLA-Verus：用 LLM 智能体自动证明 TLA+ 规约的时序性质