MCMAS-C Model Checker
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 5.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-C Model Checker
MCMAS-C jest rozszerzeniem do najbardziej znanego modułu sprawdzania modelu MCMAS, który jest realizowany w celu weryfikacji systemu wieloagentowego. Nasze rozszerzenie jest związane z sprawdzaniem zobowiązań społecznych, które agenci mogą tworzyć i ich wypełnianiem. Jest to kontroler modelu dla logiki CTLC.