Programas por mcmas-sc.sf.net

Um novo verificador de modelos, chamado MCMAS-SC, para verificar compromissos sociais e sua realização. É uma extensão do verificador de modelo MCMAS para suportar a verificação da lógica CTLC.