MCMAS-C Model Checker
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 5.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre MCMAS-C Model Checker
MCMAS-C é uma extensão ao mais famoso verificador de modelos MCMAS, que é implementado para verificar o sistema multi-agente. A nossa extensão está relacionada com a verificação dos compromissos sociais que os agentes podem criar e o seu cumprimento. É verificador de modelos para a lógica CTLC.