MCMAS: an open-source model checker for the verification of multi-agent systems
Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713
(2017)
MCMAS: an open-source model checker for the verification of multi-agent systems.
International Journal on Software Tools for Technology Transfer, 19
(1)
.
pp. 9-30.
ISSN 1433-2779
[Article]
(doi:10.1007/s10009-015-0378-x)
|
PDF (PDF)
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0. Download (1MB) | Preview |
Abstract
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 specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study.
| Item Type: | Article |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer Science |
| Item ID: | 15936 |
| Notes on copyright: | © The Author(s) 2015. This article is published with open access at Springerlink.com
Open Access: This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. |
| Useful Links: | |
| Depositing User: | Franco Raimondi |
| Date Deposited: | 12 May 2015 15:42 |
| Last Modified: | 29 Nov 2022 21:14 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/15936 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)