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

MCMAS-SC model checker

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

О MCMAS-SC model checker

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

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

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

    Комплект CHLone представляет собой совместимое с CGNS/SIDS картографическое приложение SIDS-to-HDF5 и содержит 3 уровня интерфейса для разработки приложений. К ним будут прим.- C1 клон CGNS/MLL, тот же API, что и CGNS/MLL

  • FactotumNOW IAS Reporting Бесплатная пробная версия

    FactotumNOW IAS Reporting импортирует файлы журнала IAS/RRAS (Microsoft VPN) через движок, который может быть установлен на сервере VPN/IAS. Статистика IAS (Microsoft® Internet Authentication Service) обновляется автоматическ

  • Flash-Creator Бесплатная пробная версия

    Flash Creator — это быстрый и освежающе простой в использовании инструмент для создания анимированных логотипов Flash, баннеров, интро, заготовок и всего остального, что вы можете себе представить прямо из коробки. Он предост

  • SAW (Small Artificial World) Бесплатный

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

  • evids video intrusion detection system Бесплатный

    Evids - это система обнаружения видеовторжений клиента/сервера. Автоматизированная программное обеспечение наблюдения обеспечивает полный рабочий день мониторинга входящего видео Сигналы. Кроме того, Evids является беспла

  • Accessibility plugins for Liferay Бесплатный

    Целью этого projet является предоставление набора расширений (плагинов) для повышения доступности на портале Liferay.

  • SynchroJet Бесплатная пробная версия

    SynchroJet — это простая в использовании утилита резервного копирования и синхронизации, которая может работать с местными источниками, LAN, FTP/SSL. С SynchroJet вы можете легко сохранить все важные файлы синхронизированы ме

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

    Это очень простой плагин для JEdit. Он добавляет функцию Eclipse Control-K, то есть: найти следующее появление выбранного текста.

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

    Emulare является эмулятором arduino.Это позволяет запускать программы arduino в эмуляции. Он имеет полную поддержку для всех устройств на Arduino Duemilanove. Он имеет интерфейс GDB для отладки. Он имеет полный графический

  • Music Shuffling Бесплатный

    Приложение .net 3.5, которое позволяет пользователю перетасовывать свою музыку в ipod или другом устройстве. полные функции с выбранными случайными файлами, а также перетасовывать по файлам.