AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · arXiv · 2026-10-22

VERDICT: ملٹی ایجنٹ متوازی ماڈیولر تصدیق

اصل عنوان: VERDICT: Multi-Agent Parallel Modular Verification

VERDICT ماڈیولر سافٹ ویئر کی تصدیق میں اسپیسیفیکیشن ترکیب اور انحصاری پابندیوں سے اس طرح نمٹتا ہے کہ ہر فنکشن کو ایک ایجنٹ تفویض کیا جاتا ہے۔ ایجنٹس کال کیے گئے فنکشنز کے لیے مفروضہ کنٹریکٹس استعمال کرتے ہوئے متوازی طور پر کام کرتے ہیں، پھر کال گراف کے راستے دونوں سمتوں میں اصلاحات پھیلا کر تنازعات کو ہم آہنگ کرتے ہیں۔ حقیقی دنیا کے C پروگرامز پر اس نے موجودہ طریقوں کے مقابلے میں زیادہ معیاری اسپیسیفیکیشنز زیادہ تیزی سے تیار کیں اور چند ہی گھنٹوں میں مکمل 20,000 سطروں کے X.509 پارسر میں تقریباً تمام ممکنہ رن ٹائم غلطیوں کو مسترد کر دیا۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →