Programma's van mcmas-sc.sf.net

Een nieuw model checker, genaamd MCMAS-SC, voor het verifiëren van sociale verplichtingen en hun vervulling. Het is een uitbreving van MCMAS modelchecker ter ondersteuning van verificatie van CTLC logica.