MCMAS: an open-source model checker for the verification of multi-agent systems

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specifi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 19; H. 1; S. 9 - 30
Hauptverfasser:	Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2017 Springer Nature B.V
Schlagworte:	Algorithms Checkers Computer programs Computer Science Mathematical models Multiagent systems Regular Paper Semantics Software Software Engineering Software Engineering/Programming and Operating Systems Specifications Theory of Computation Model checking Verification Multi-agent systems
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!