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