MCMAS-C Model Checker
Lizenz: kostenlos Dateigröße: N/A
Benutzerbewertung: 5.0/5 - 1 Stimmen
Bitte warten... Ihr Download-Link wird auf schädliche Inhalte überprüft.
Sie können in 5 Sekunden herunterladen.
Sie können in 5 Sekunden herunterladen.
Über MCMAS-C Model Checker
MCMAS-C ist eine Erweiterung des berühmtesten Modellprüfers MCMAS, der zur Überprüfung des Multi-Agent-Systems implementiert ist. Unsere Erweiterung bezieht sich darauf, soziale Verpflichtungen zu überprüfen, die Agenten erstellen können, und ihre Erfüllung. Es ist Modell-Checker für CTLC-Logik.