Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. LTL3 tools

LTL3 tools 0.0.7

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

Коллекция инструментов, которые могут быть использованы для создания мониторов (квота;сторожевые псы;) из формул LTL. Это известно из области проверки времени выполнения. Для получения дополнительной информации смотрите домашнюю страницу связанного проекта.

история версии

  • Версия 0.0.7 размещено на 2009-04-01
    Несколько исправлений и обновлений
  • Версия 0.0.7 размещено на 2009-04-01

Подробная информация о программе

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

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

    Среда визуализации NEtwork является основой для 3D-визуализации и взаимодействия с сетями, особенно коммуникационными сетями как интернетом как в режиме реального времени, так и в качестве инструмента моделирования. На основе

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

    zAgile в Wikidsmart превращает слияние в семантический вики и репозиторий знаний. Построенный на zCALM, семантической веб-инфраструктуре совместимости приложений, он становится информационной панелью при добавлении разъемов к

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

    Программное обеспечение с открытым исходным кодом для преобразования файлов SDF в файлы TINKER XY (и viceversa) с автоматическим назначением типов атомов MMFF94, типов облигаций и сборов

  • Alcoholics Anonymous 12 Steps Бесплатная пробная версия

    Помогает в восстановлении наркомании и предоставляет полезную ссылку для любого члена АА.Большая книга, Калькулятор трезвости, 12 шагов и традиций, Найти А. А. Встречи, молитвы.Особенности включают в себя:Большая кн

  • Drum Count Бесплатный

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

  • FBReader LitRes plugin Бесплатная пробная версия

    Дополнительные функции для интеграции litres.ru FBReader.Доступ в магазин одним щелчком мыши.Зарегистрируйте новых пользователей непосредственно из FBReader, пополнить свой счет с помощью текстовых сообщений и кредитны

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

    БыстрыйDoc является Java документ парсер, который читает документы из простых текстовых файлов с помощью простого языка и экспортирует документ в другие форматы, такие как PDF, HTML, Java Help и XML.

  • The Earth Science Markup Language Бесплатный

    ESML — это технология обмена, которая использует внешние метаданные, позволяющие приложениям легко подключаться и играть с конкретными наборами данных Earth Science в неоднородных форматах.

  • RoboCup GameController Бесплатный

    RoboCup GameController — это программное обеспечение с открытым исходным кодом, используемое в RoboCup Humanoid League и Стандартной платформе. Команды рефери отправляются роботам на игровом поле через беспроводную сеть, чтоб

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

    PMath является Palm основе WYSIWYG редактор математических текстов с возможностью конвертировать их в LaTeX.