التحقق من الأنظمة متعددة الوكلاء

فحص النموذج لأنظمة الوكلاء المتعددين

تقنية تحقق تلقائية تستكشف بشكل شامل فضاء حالات نظام الوكلاء المتعددين للتحقق من الخصائص الزمنية. مناسبة بشكل خاص للأنظمة ذات العدد المحدود من الحالات والسلوكيات الحتمية.

← رجوع