Tarafından Programlar mcmas-sc.sf.net

Yeni bir model denetleyicisi, MCMAS-SC olarak adlandırılan, sosyal taahhütleri ve bunların yerine getirilmesi doğrulamak için. CTLC mantığının doğrulanmasını desteklemek için MCMAS model denetleyicisinin bir genişletimidir.