Programas por mcmas-c.sf.net

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 c