Programas por mcmas-sc.sf.net

Un nuevo modelo de verificación, llamado MCMAS-SC, para verificar los compromisos sociales y su cumplimiento. Es una extensión del comprobador de modelos MCMAS para apoyar la verificación de la lógica CTLC.