Programmes par mcmas-c.sf.net

MCMAS-C est une extension du modèle le plus célèbre checker MCMAS, qui est mis en œuvre pour vérifier le système multi-agents. Notre extension est liée à la vérification des engagements sociaux que les agents peuvent créer et