AI 與世界的難題 · 理論資訊科學 · arXiv · 2026-10-22
VERDICT：多代理人並行模組化驗證
原標題: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT 透過為每個函式指派一個代理人，來處理模組化軟體驗證中的規格合成與相依性約束。各代理人在並行運作時，對被呼叫的函式採用假設的契約，再藉由呼叫圖雙向傳播修訂以調解衝突。在真實世界的 C 程式上，它比現有方法更快產出品質更高的規格，並在數小時內排除了一個完整的 20,000 行 X.509 剖析器中幾乎所有潛在的執行時期錯誤。