Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. MCTK: a symbolic model checker for MAS
  5. Download

MCTK: a symbolic model checker for MAS

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

О MCTK: a symbolic model checker for MAS

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

Похожие программы

  • MedIC Automated Pipeline Scheduler Бесплатный

    Расширение плагина MIPAV (Медицинская обработка изображений, анализ и визуализация), которое позволяет пользователю проектировать и выполнять конвейеры, которые являются многоступенчатой обработкой задач.

  • SmartHASH Бесплатный

    SmartHASH является компьютерным инструментом судебно-медицинской экспертизы, предназначенным для того, чтобы вывести хрюканье из процесса анализа; тем самым экономя значительное время в аспекте анализа большинства расследован

  • Entropy Бесплатный

    ЭТОТ ПРОЕКТ БОЛЬШЕ НЕ РАЗМЕЩАЕТСЯ И НЕ ОБНОВЛЯЕТСЯ НА SOURCEFORGE

  • Flash Authoring iPhone Components Бесплатный

    Flash Авторинг компонентов, чтобы помочь с iPhone развития. Вы можете написать мне по [email protected] с вашим Source Forge ID вы хотите присоединиться к проекту.

  • Asp.net Web Utilities Framework Бесплатный

    Asp.net веб-услуг, чтобы помочь мне (и другим) в моих будущих проектах Framework просто обеспечит простые классы и пользовательские элементы управления и т.д. для общих функций - Boxed и готовы к продлению (Как IS - Нет гар

  • DARKSTARgames Open Source Project Бесплатный

    DARKSTARgames – это проект по разработке игр для любителей. Наш 3D двигатель EVEN будет опубликован как Open Source вместе с релизом игры, направленным на 2007 год. Однако у нас уже есть программное обеспечение, которое может

  • Workgroup Manager Бесплатный

    Workgroup Manager (WGM) — это инструмент управления рабочей группой Windows, позволяющий удаленное управление пользователем/группой и оптимизацию рабочей группы. Пользователи и группы могут быть добавлены/отредактированы/удал

  • ascentemu Бесплатный

    Ascent — пакет серверного программного обеспечения для World of Warcraft.Этот репозиторий является резервной копией ныне несуществующего проекта.Он был замыкается Арсему.

  • Command-Line Argument Parser For Java Бесплатный

    Это библиотека для легкого разбора аргументов командной строки в Java объектно-ориентированным способом с помощью слушателей и событий.

  • L2IrcBot Бесплатный

    L2IrcBot — это реализация API PircBot для проверки состояния 2-серверов Lineage, определяемого одним или несколькоом конфиг-файлов.