AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-22

VERDICT: मल्टी-एजेंट समानांतर मॉड्यूलर सत्यापन

मूल शीर्षक: VERDICT: Multi-Agent Parallel Modular Verification

VERDICT, मॉड्यूलर सॉफ़्टवेयर सत्यापन में विनिर्देश संश्लेषण और निर्भरता बाधाओं से निपटने के लिए प्रत्येक फ़ंक्शन को एक एजेंट सौंपता है। एजेंट, कॉल की गई फ़ंक्शनों के लिए ग्रहण किए गए अनुबंधों का उपयोग करके समानांतर में काम करते हैं, फिर कॉल ग्राफ़ के माध्यम से दोनों दिशाओं में संशोधनों का प्रसार करके संघर्षों को सुलझाते हैं। वास्तविक दुनिया के C प्रोग्राम पर, इसने मौजूदा दृष्टिकोणों से अधिक तेज़ी से अधिक-गुणवत्ता वाले विनिर्देश तैयार किए और कुछ ही घंटों में पूर्ण 20,000-लाइन X.509 पार्सर में लगभग सभी संभावित रनटाइम त्रुटियों को दूर कर दिया।

मूल लेख पढ़ें ↗

सभी आइटम →