VERDICT：多智能体并行模块化验证框架

VERDICT 是一个面向大规模程序模块化演绎验证的多智能体框架，通过为每个函数分配智能体、允许其基于被调函数的假设契约立即推进，实现跨程序的并行验证。框架再用双向跨过程冲突调和机制，在合成契约与假设矛盾时沿调用图上下传播修订直至契约收敛。