Programma's van mcmas-c.sf.net

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 kunne