A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
mcmas: A Model Checker for Multi-agent Systems
[chapter]
2006
Lecture Notes in Computer Science
This paper presents MCMAS, a model checker for Multi-Agent Systems (MAS). Differently from traditional model checkers, MCMAS permits the automatic verification of specifications that use epistemic, correctness, and cooperation modalities, in addition to the standard temporal modalities. These additional modalities are used to capture properties of various scenarios (including communication and security protocols, games, etc.) that may be difficult or unnatural to express with temporal operators
doi:10.1007/11691372_31
fatcat:6ppepf2fyvacragtsy57eoynk4