Chương trình theo mcmas-sc.sf.net

Một người kiểm tra mô hình mới, được gọi là MCMAS-SC, để xác minh các cam kết xã hội và thực hiện chúng. Đây là một phần mở rộng của bộ kiểm tra mô hình MCMAS để hỗ trợ xác minh logic CTLC.