![](/statics/img/blank.png)
MCMAS-SC model checker
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.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-SC model checker
Un nouveau modèle de contrôle, appelé MCMAS-SC, pour vérifier les engagements sociaux et leur réalisation. Il s’agit d’une extenstion du contrôle du modèle MCMAS pour appuyer la vérification de la logique du CTLC.