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)

[img]
Preview
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: 12 Jun 2021 15:44
URI: https://eprints.mdx.ac.uk/id/eprint/15936

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
165Downloads
493Hits

Additional statistics are available via IRStats2.