MCMAS-SC model checker
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 4.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre MCMAS-SC model checker
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.