Отправить программное обеспечение

Программы mctk-tool.sf.net

  • MCTK: a symbolic model checker for MAS Бесплатный

    MCTK (Модель Проверка времени и знаний) является символической моделью проверки для многоагентов систем, которая поддерживает проверку временной логики знаний. Он разработан на основе NuSMV 2.1.2 Сянъю Луо.