プログラム mcmas-c.sf.net

MCMAS-C は、マルチエージェント システムを検証するために実装されている最も有名なモデル チェッカー MCMAS の拡張機能です。私たちの拡張は、エージェントが作成できる社会的コミットメントとその履行をチェックすることに関連しています。CTLC ロジックのモデル チェッカーです。