Programas por mcmas-sc.sf.net

Um novo verificador de modelos, chamado MCMAS-SC, para verificar os compromissos sociais e o seu cumprimento. É uma extensão do verificador de modelos MCMAS para apoiar a verificação da lógica CTLC.