الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · arXiv · 2026-10-22

VERDICT: تحقق نمطي متوازٍ متعدد الوكلاء

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

يتصدى VERDICT لتوليف المواصفات والتعامل مع قيود التبعية في التحقق النمطي من البرمجيات عبر تكليف وكيل لكل دالة. يعمل الوكلاء بالتوازي بالاستناد إلى عقود مفترضة للدوال المستدعاة، ثم يصلحون التعارضات عن طريق نشر المراجعات في الاتجاهين عبر مخطط الاستدعاء. على برامج C الواقعية، أنتج مواصفات ذات جودة أعلى بوتيرة أسرع من المقاربات القائمة، واستبعد قرابة جميع أخطاء وقت التشغيل المحتملة في محلل X.509 كامل مكوَّن من 20,000 سطر خلال ساعات.

اقرأ المصدر الأصلي ↗

جميع العناصر →