La IA y los problemas difíciles del mundo · Informática teórica · arXiv · 2026-10-22
VERDICT: Verificación modular paralela multiagente
Título original: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT aborda la síntesis de especificaciones y las restricciones de dependencia en la verificación modular de software asignando un agente a cada función. Los agentes trabajan en paralelo usando contratos supuestos para las funciones llamadas, y luego reconcilian los conflictos propagando revisiones en ambas direcciones a través del grafo de llamadas. En programas C del mundo real, produjo especificaciones de mayor calidad más rápido que los enfoques existentes y descartó casi todos los posibles errores en tiempo de ejecución en un analizador X.509 completo de 20,000 líneas en cuestión de horas.