IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-22
VERDICT: Verificação modular paralela multiagente
Título original: VERDICT: Multi-Agent Parallel Modular Verification
O VERDICT enfrenta a síntese de especificações e as restrições de dependência na verificação modular de software atribuindo um agente a cada função. Os agentes trabalham em paralelo usando contratos assumidos para as funções chamadas e, em seguida, reconciliam conflitos propagando revisões em ambas as direções pelo grafo de chamadas. Em programas C do mundo real, o método produziu especificações de maior qualidade mais rapidamente do que as abordagens existentes e descartou quase todos os potenciais erros em tempo de execução em um parser X.509 completo de 20,000 linhas em poucas horas.