MCMAS-C Model Checker
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 5.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over MCMAS-C Model Checker
MCMAS-C is een uitbreiding op de meest bekende model checker MCMAS, die is geïmplementeerd om multi-agent systeem te verifiëren. Onze uitbreiding is gerelateerd aan het controleren van sociale verplichtingen die agenten kunnen maken en hun vervulling. Het is modelchecker voor CTLC logica.