MCMAS: an open-source model checker for the verification of multi-agent systems
- Submitting institution
-
Middlesex University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 346
- Type
- D - Journal article
- DOI
-
10.1007/s10009-015-0378-x
- Title of journal
- International Journal on Software Tools for Technology Transfer
- Article number
- -
- First page
- 9
- Volume
- 19
- Issue
- 1
- ISSN
- 1433-2779
- Open access status
- Out of scope for open access requirements
- Month of publication
- April
- Year of publication
- 2015
- URL
-
http://eprints.mdx.ac.uk/15936/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 62
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the key publication presenting MCMAS, an open source model checker for multi-agent systems. MCMAS is the reference tool for the verification of extensions of temporal logics; in addition to CTL, it supports the verification of epistemic and strategic operators, together with a rich interface for user interaction and counterexample/witness generation. It is significant because it has been employed by research centres worldwide (e.g., NASA) and several extensions have been developed thanks to EPSRC funding. The tool is supported by various developers and there is an active user base engaged with the development team.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -