Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Extended NuSMV
  5. Download

Extended NuSMV 1.1

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

О Extended NuSMV

Расширить версию NuSMV, которая поддерживает символическую проверку модели ETL и APSL

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

  • Voice Widget Бесплатный

    Запустите голосовой рекордер, Youtube, телевидение или радио, Explorer или поиск одним щелчком мыши.2 красивых виджетов, чтобы связать ваш телефон диктофон, Youtube, тв или радио, исследователь или поиск. Стиль дизайна, как

  • ZIPCodeWorld Store Locator .NET Component Бесплатная пробная версия

    ХипКодер Магазин Локатор .NET является магазин локатор управления для всех разработчиков .NET. Ваш собственный США или Канада магазин локатор службы может быть запущен и работает в течение нескольких минут. 6-й магазин .NET о

  • Mobile Data On/Off Toggle Бесплатный

    Мобильные данные On/Off ToggleMobile Данные On/Off Переключатель Мобильные данные On/Off Переключатель Мобильные данные OnOff переключатель.- Это программное обеспечение необходимость Включить »квота;Мобильные данные» цитата;

  • OCF Resource Agent for SAP Бесплатный

    Предоставляет агентам ресурсов OCF (Open Cluster Framework) совместимое с ней программное обеспечение SAP в кластере высокой доступности Linux (например, проект Linux-HA).

  • Wintermute Engine DevKit Бесплатный

    Wintermute Engine Development Kit — это набор инструментов для создания и запуска графических приключенческих игр, как традиционных 2D, так и современных 2.5D игр (3D-символы на 2D-фонах).

  • Aginity Netezza Workbench Бесплатный

    Aginity является партнером Netezza Solution Provider. Workbench родился из нашей потребности в конкретных инструментах для поддержки нашего обширного опыта разработки больших систем на приборе Netezza. Workbench предлагает ун

  • xUnit - Unit Testing Framework Бесплатный

    xUnit — это система тестирования единицы XP. xUnit использует протокол между передним концом для отображения результатов тестов и тест-драйвером, связанным с приложениями - удаление зависимостей времени связи между приложение

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

    perf2rrd — это программа, написанная на Java (tm), которая фиксирует выход данных о производительности системой мониторинга Nagios (R) и хранит их в круглых файлах базы данных Робина, как импотемент RRDtool.

  • MisterHouse: Home Automation with Perl Бесплатный

    MisterHouse — это программа автоматизации дома Windows/Unix, написанная в Perl. Он может реагировать на голосовые команды, веб-браузеры, время суток, серийный порт и X10 данных, внешних файлов и т.д. и может говорить через те

  • IFM - Interface Management System Бесплатный

    IFM (ранее wxIFM) — это библиотека управления интерфейсом, предназначенная для добавления стыковочных окон в приложения, придавая интерфейсу настраиваемость, востребованную сегодняшними опытными пользователями компьютеров.