Program menurut mcmas-sc.sf.net

Pemeriksa model baru, yang disebut MCMAS-SC, untuk memverifikasi komitmen sosial dan pemenuhannya. Ini adalah ekstensi pemeriksa model MCMAS untuk mendukung verifikasi logika CTLC.