
سازوکار Move Prover: ترکیب تحلیل WP و عاملهای هوش مصنوعی برای حذف Boilerplate
یک ابزار جدید برای استنتاج مشخصات در Move Prover، تحلیل مکانیکی WP را با عاملهای هوش مصنوعی از طریق پروتکل MCP ترکیب کرده است. این سیستم ترکیبی، تولید پیششرطها و پسشرطها را…










