MCTK (Модель Проверка времени и знаний) является символической моделью проверки для многоагентов систем, которая поддерживает проверку временной логики знаний. Он разработан на основе NuSMV 2.1.2 Сянъю Луо.
история версии
- Версия N/A размещено на 2011-07-27
Несколько исправлений и обновлений - Версия N/A размещено на 2011-07-27
Подробная информация о программе
- Категории: Сеть и Интернет > Других
- Издателя: mctk-tool.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows