ИИ и сложнейшие проблемы мира · Теоретическая информатика · arXiv · 2026-10-22
VERDICT: мультиагентная параллельная модульная верификация
Оригинальное название: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT решает задачу синтеза спецификаций и учёта ограничений зависимостей в модульной верификации ПО, назначая по одному агенту на каждую функцию. Агенты работают параллельно, используя предполагаемые контракты для вызываемых функций, а затем согласуют конфликты, распространяя правки в обоих направлениях по графу вызовов. На реальных программах на C инструмент создавал спецификации более высокого качества быстрее существующих подходов и за считанные часы исключил почти все потенциальные ошибки времени выполнения в полном парсере X.509 на 20,000 строк.