MCMAS > Documentation

MCMAS user manual (pdf)

MCMAS installation guide (pdf)

  • Please click on the links above to download the manual and the guide. The manual contains a tutorial and detailed information about MCMAS, and the guide gives the detailed instructions for installation.

We gratefully acknowledge support from the following projects

  • EU-IST Strep Contract
  • EPSRC (EP/D077273/1) UbiVal
  • EPSRC Case project “Verification of multi-agent systems via OBDDs” (2004-2006)