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

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