AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-22
VERDICT: Verifikasi Modular Paralel Multi-Agen
Judul asli: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT menangani sintesis spesifikasi dan kendala dependensi dalam verifikasi perangkat lunak modular dengan menugaskan satu agen untuk setiap fungsi. Para agen bekerja secara paralel menggunakan kontrak yang diasumsikan untuk fungsi yang dipanggil, lalu mendamaikan konflik dengan menyebarkan revisi ke kedua arah melalui call graph. Pada program C dunia nyata, pendekatan ini menghasilkan spesifikasi berkualitas lebih tinggi lebih cepat daripada pendekatan yang ada dan menyingkirkan hampir semua potensi kesalahan runtime dalam parser X.509 lengkap berukuran 20,000 baris dalam hitungan jam.