Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. The PEP tool

The PEP tool 2.0b

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

PEP представляет если вы работаете в рамках моделирования и проверки параллельных систем, обеспечивая большое количество различных языков моделирования и методов проверки (например, SDL, сети Петри и проверка моделей)

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

  • Версия 2.0beta4 размещено на 2004-09-13
    Несколько исправлений и обновлений
  • Версия 2.0beta4 размещено на 2004-09-13

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

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

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

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

  • VDK Library Бесплатный

    Библиотека VDK — это платформа в C, которая связывает библиотеки ГТКЗ GUI, предусмотренная как для Linux, так и для Windows была базовой библиотекой для проекта VDKBuilder. Недавно проект был разделен, и ВДК продолжает разраб

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

    Реализация схемы на основе литкода (R-5RS). Быстрый, компактный, стабильный, пригодный для обучения и экспериментов.

  • Light Torch Flash Widget Pro Бесплатный

    Виджет, чтобы включить / выключить камеру привело (вспышка) только одним щелчком мыши. Полезно, как факел.

  • Ayra - VCL Report Generator Бесплатный

    Проектировщик отчетов и приложение генератора, написанное в Delphi, с дизайнером отчета WYSIWYG, компонентом VCL для генерации отчетов, действительным для Delphi 5 до 2006 года, и небольшим приложением CommandLine для вызова.

  • ES32 - EEG Analysis Бесплатный

    ES32 - это программа windows для анализа файлов данных ЭЭГ, подготовленная приложением NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Бесплатный

    LJOS означает последовательность слов: Linux, Java, операционная система. Это попытка создать прямое расширение tecode к ядру Linux, плотно интегрированному с базой данных в качестве общего хранилища.

  • DROIDinfo (Android 1.6+) Бесплатный

    DROIDinfo отображает техническую информацию об устройстве Android. Она предназначена для разработчиков, которые хотят получить обзор оборудования устройства, Linux / Android системы, и Свойства Java, как видно из Dalvik VM. С

  • Lumbermill - Log4J/JSR47 GUI Бесплатный

    Lumbermill является визуальным центром обработки и распределения журналов для Log4j и (в 2.0) java.util.logging (JSR47). Это автономное приложение Swing/GUI, которое поддерживает просмотр и архивирование событий журнала.

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

    Цель этого проекта состоит в том, чтобы предоставить метод построения загрузки изображения для небольших встроенных систем, на основе исходных источников пакетов, в первую очередь buildroot, и снимок распределения и конфигура