Output details
11 - Computer Science and Informatics
Middlesex University
Return to search
Output 0 of 0 in the submission
Output title
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Type
E - Conference contribution
Name of conference/published proceedings
Computer Aided Verification-21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Volume number
5643
Issue number
-
First page of article
682
ISSN of proceedings
1611-3349
Year of publication
2009
Number of additional authors
2
Additional information
<9>This is the key publication presenting MCMAS, a 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 has been employed by research centres worldwide (e.g., NASA) to verify security protocols, autonomous devices and strategic games. The tool is supported by various developers, interacting with users through a mailing list.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
37
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
