Programas por mcmas-c.sf.net

O MCMAS-C é uma extensão do mais famoso verificador de modelos MCMAS, que é implementado para verificar o sistema multi-agente. Nossa extensão está relacionada à verificação de compromissos sociais que os agentes podem criar