Output details
11 - Computer Science and Informatics
Imperial College London
Output title
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
Type
E - Conference contribution
Name of conference/published proceedings
21st International Conference on Computer Aided Verification
Volume number
5643
Issue number
-
First page of article
682
ISSN of proceedings
0302-9743
Year of publication
2009
URL
-
Number of additional authors
2
Additional information
<22>MCMAS is the first and currently world-leading symbolic model checker for multi-agent systems (http://www-lai.doc.ic.ac.uk/mcmas/). Its current version has been downloaded over 1000 times and is widely used in experiments at research labs and companies. A total of approx 50 research papers published by the Verification of Autonomous Systems group at Imperial use MCMAS in their validation work. MCMAS's development is supported by an EPSRC Leadership Fellowship to Prof Lomuscio as well as other FP7 projects. Previous versions were supported by a combination of FP7 and EPSRC grants. CAV is the leading conference in verification. CAV09 acceptance 32%.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Logic and Artificial Intelligence
Citation count
37
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
