MCMAS: a model checker for the verification of multi-agent systems

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

PDF - Published Version

Official URL:

This item is available in the Library Catalogue


While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes. In particular, specification languages based on epistemic logics, or logics for knowledge, have proven useful in a variety of areas including robotics, security protocols, web-services, etc. For example, security specifications involving anonymity [4] are known to be naturally expressible in epistemic formalisms as they explicitly state the lack of different kinds of knowledge of the principals.

Item Type:Article
Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Computer Science
Citations on ISI Web of Science:12
ID Code:4544
Useful Links:
Deposited On:16 Mar 2010 17:04
Last Modified:29 Oct 2014 18:56

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year