MCMAS-C सबसे प्रसिद्ध मॉडल चेकर MCMAS, जो बहु एजेंट प्रणाली को सत्यापित करने के लिए लागू किया जाता है के लिए एक विस्तार है । हमारा विस्तार सामाजिक प्रतिबद्धताओं की जांच करने से संबंधित है जो एजेंट बना सकते हैं और उनकी पूर्ति। यह सीटीएलसी तर्क के लिए मॉडल चेकर है।
संस्करण इतिहास
- विवरण files पर तैनात 2011-01-25
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-01-25
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: mcmas-c.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows