Atur cara mengikut mcmas-sc.sf.net

Pemeriksa model baru, yang dipanggil MCMAS-SC, untuk mengesahkan komitmen sosial dan pemenuhan mereka. Ia adalah pengekstrakan pemeriksa model MCMAS untuk menyokong pengesahan logik CTLC.