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.
versiegeschiedenis
- Versie MCMAS-SC geplaatst op 2011-01-25
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-01-25
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: mcmas-sc.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows