AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-22

VERDICT: মাল্টি-এজেন্ট সমান্তরাল মডিউলার যাচাই

মূল শিরোনাম: VERDICT: Multi-Agent Parallel Modular Verification

মডিউলার সফটওয়্যার যাচাইয়ে স্পেসিফিকেশন সংশ্লেষণ এবং ডিপেন্ডেন্সি সীমাবদ্ধতা মোকাবিলা করতে VERDICT প্রতিটি ফাংশনের জন্য একটি করে এজেন্ট নিয়োগ করে। কল করা ফাংশনগুলোর জন্য অনুমিত কন্ট্রাক্ট ব্যবহার করে এজেন্টগুলো সমান্তরালে কাজ করে, তারপর কল গ্রাফের মধ্য দিয়ে উভয় দিকে সংশোধনী ছড়িয়ে দিয়ে দ্বন্দ্বগুলো মেটায়। বাস্তব-জগতের C প্রোগ্রামে, এটি বিদ্যমান পদ্ধতিগুলোর চেয়ে দ্রুত উচ্চতর মানের স্পেসিফিকেশন তৈরি করেছে এবং কয়েক ঘণ্টার মধ্যে সম্পূর্ণ 20,000-লাইনের X.509 পার্সারে প্রায় সব সম্ভাব্য রানটাইম ত্রুটি বাদ দিয়েছে।

মূল লেখা পড়ুন ↗

সব আইটেম →