โปรแกรมตาม mcmas-c.sf.net

MCMAS-C เป็นส่วนขยายของตัวตรวจสอบรุ่น MCMAS ที่มีชื่อเสียงที่สุดซึ่งถูกนํามาใช้เพื่อตรวจสอบระบบหลายตัวแทน ส่วนขยายของเราเกี่ยวข้องกับการตรวจสอบภาระผูกพันทางสังคมที่เจ้าหน้าที่สามารถสร้างและปฏิบัติตามได้ มันเป็นตัวตรวจสอบรุ่นส