New article: “MCMAS: an open-source model checker for the verification of multi-agent systems”

The article:

  • MCMAS: an open-source model checker for the verification of multi-agent systems by A. Lomuscio, H. Qu and F. Raimondi

has been published in the  International Journal on Software Tools for Technology Transfer. The PDF is freely available from Springer at this address: http://link.springer.com/article/10.1007/s10009-015-0378-x