AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-22
VERDICT：マルチエージェントによる並列モジュール検証
原題: VERDICT: Multi-Agent Parallel Modular Verification
大規模プログラムのモジュール検証に必要な仕様の自動生成と、関数間の依存による並列化の制約に取り組んだ。VERDICTは各関数にエージェントを割り当て、呼び出し先の契約を仮定して並列に検証を進め、矛盾が生じると呼び出し関係の双方向に修正を伝える。実際のCプログラムで既存手法より高品質な仕様を短時間で生成し、2万行のX.509パーサー全体では、潜在的な実行時エラーのほぼすべてが起こらないことを数時間で検証した。