![](/statics/img/blank.png)
MCMAS-SC model checker
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O MCMAS-SC model checker
Nowy kontroler modelu, o nazwie MCMAS-SC, do weryfikacji zobowiązań społecznych i ich realizacji. Jest to rozszerzanie kontrolera modelu MCMAS w celu obsługi weryfikacji logiki CTLC.