MCMAS-C Model Checker
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 5.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur MCMAS-C Model Checker
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 à leur réalisation. C’est le checker de modèle pour la logique de CTLC.