โปรแกรมตาม mcmas-sc.sf.net

ตัวตรวจสอบรุ่นใหม่ที่เรียกว่า MCMAS-SC สําหรับการตรวจสอบภาระผูกพันทางสังคมและการปฏิบัติตามของพวกเขา มันเป็นการขับไล่ตัวตรวจสอบรุ่น MCMAS เพื่อสนับสนุนการตรวจสอบตรรกะ CTLC