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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 19; číslo 1; s. 9 - 30
Hlavní autoři:	Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2017 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!