द्वारा कार्यक्रम mcmas-c.sf.net

MCMAS-C सबसे प्रसिद्ध मॉडल चेकर MCMAS, जो बहु एजेंट प्रणाली को सत्यापित करने के लिए लागू किया जाता है के लिए एक विस्तार है । हमारा विस्तार सामाजिक प्रतिबद्धताओं की जांच करने से संबंधित है जो एजेंट बना सकते हैं और उनकी पूर्ति।