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.
historial de versiones
- Versión MCMAS-SC publicado en 2011-01-25
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-01-25
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: mcmas-sc.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows