Programmi di mcmas-sc.sf.net

Un nuovo controllo del modello, chiamato MCMAS-SC, per verificare gli impegni sociali e il loro adempimento. È un'estensivizzazione del controllo del modello MCMAS per supportare la verifica della logica CTLC.