AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-22
VERDICT: Uthibitishaji Sambamba wa Kimoduli kwa Wakala Wengi
Kichwa asilia: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT inashughulikia usandesha wa vipimo na vikwazo vya utegemezi katika uthibitishaji wa kimoduli wa programu kwa kumweka wakala mmoja kwa kila chakavu. Wakala hufanya kazi kwa sambamba wakitumia mikataba iliyodhaniwa ya chakavu zinazoitwa, kisha wanapatana migogoro kwa kueneza marekebisho pande zote mbili kupitia grafu ya miito. Katika programu halisi za C, ilitoa vipimo bora zaidi kwa haraka zaidi kuliko njia zilizopo na kuondoa karibu makosa yote yanayoweza kutokea wakati wa utendaji katika kichambuzi kamili wa X.509 wenye mistari 20,000 ndani ya masaa machache.