MCMAS-C Model Checker
ライセンス: 無料 ファイルサイズ: N/A
ユーザー評価: 5.0/5 - 1 投票
お待ちください。。。ダウンロードリンクが悪意のあるコンテンツの確認中です。
5秒でダウンロードできます。
5秒でダウンロードできます。
に関しては MCMAS-C Model Checker
MCMAS-C は、マルチエージェント システムを検証するために実装されている最も有名なモデル チェッカー MCMAS の拡張機能です。私たちの拡張は、エージェントが作成できる社会的コミットメントとその履行をチェックすることに関連しています。CTLC ロジックのモデル チェッカーです。