プログラム mctk-tool.sf.net

MCTK(モデルチェック時間と知識)は、知識の一時的なロジックの検証をサポートするマルチエージェントシステムのシンボリックモデルチェッカーです。これは、Xiangyu LuoによってNuSMV 2.1.2に基づいて開発されています。