Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. MCMAS-C Model Checker
  5. Download

MCMAS-C Model Checker

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

О MCMAS-C Model Checker

MCMAS-C является продолжением самой известной модели проверки MCMAS, которая реализована для проверки многоаентной системы. Наше расширение связано с проверкой социальных обязательств, которые агенты могут создать, и их выполнением. Это проверка моделей для логики CTLC.

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

  • MConvert - Multiformat Converter Бесплатный

    MConvert — проект с открытым исходным кодом, предназначенный для разработки инструмента для преобразования файлов. Используя другие инструменты с открытым исходным кодом, MConvert хочет предоставить широкий спектр possibilite

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

    WINCRC32 использует технологию CRC-32, чтобы проверить каждый файл и уведомляет вас о любых потенциально плохих, коррумпированных, неправильных размерах или отсутствующих файлах, чтобы сэкономить часы загрузки только для того

  • Web Pictures Downloader Бесплатная пробная версия

    Web Pictures Downloader является интернет-загрузщик изображений для загрузки фотографий, фотографий, изображений, JPG, GIF из Интернета или Интернета. Он может получить доступ к вашим любимым веб-сайтам с максимум 8 потоков о

  • A shoot'em up game for the Maemo Бесплатный

    Изометрическая игра shoot'em для платформы Maemo. Основная идея заключается в создании игры, где игрок (или игроки) могут генерировать свои собственные символы и битой друг против друга или компьютер контролируемых врагов.

  • SudokuGenerator in c++ and stl Бесплатный

    Генератор головоломок Судоку, который генерирует головоломки Судоку с учетом уровня сложности. Созданные головоломки имеют уникальное решение и могут быть решены без отката или угадывания. Программное обеспечение написано в c

  • Oxygen Basic Бесплатный

    Компактный встраиваемый компилятор JIT, который считывает заготовки C и компилирует в машинный код x86. Выполняется непосредственно в памяти или создает файлы DLL и EXE. Поддерживает перегрузку и OOP. В настоящее время доступ

  • Lua Conio Бесплатный

    Lua Conio является оберткой для Turbo C conio, используемой для создания текстовых пользовательских интерфейсов, разработанных Габриэле Секчи.

  • Book Keeper System Бесплатный

    Простая система управления библиотеками, написанная на Java с использованием Struts и JSTL и JDBC. Используется классический многоуровневый архитектурный подход. В настоящее время DAOs работать из коробки с mySql.

  • Counter Strike 1.6 File Бесплатный

    tlchargez des fichiers en rapport avec le serveur (TFS21) Сервер Firefox

  • Multimodal Engine Platform Бесплатный

    Система MME представлена как необходимость общения между неоднородными устройствами и установления связи между пользователем и приложением с использованием различных типов условий.