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

Triple-A 1.4.1

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

Triple-A (Автоматический анализ с Automata) — полное использование библиотеки (конечных) автоматов, написанных на Java с двумя мощными инструментами анализа (с проверкой модели LTL и арифметикой Presburger) и графическим пользовательским интерфейсом, построенным вокруг него.

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

  • Версия 1_2_5_5 размещено на 2011-04-18
    Несколько исправлений и обновлений
  • Версия 1.4.1 размещено на 2007-05-13

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

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

  • Parallel partition for string qsort/qsel Бесплатный

    Последовательное и параллельное осуществление строки quicksorts (-выбрать) . Статьи: О количестве строк поиска в BSTs (и связанных с ними алгоритмов) с цифровым доступом / Сочетание цифрового доступа и параллельного раздела д

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

    Читает файл журнала базы данных PostgreS'L, извлекает выписки из S'L и выполняет их в том же порядке и времени на другом сервере базы данных. Полезно для тестов производительности с реальной рабочей нагрузкой.

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

    ldapenum — это скрипт perl, предназначенный для перечисления информации о системе и паролях от контроллеров доменов с помощью службы LDAP при блокировке IPC$ . Скрипт был протестирован на окнах и linux. Сценарий все еще наход

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

    Эта оболочка позволяет иметь простой текстовый интерфейс для зондирования кода. Ваш код должен быть связан с библиотекой DLL для взаимодействия с оболочкой. Шаблон для реализации этого предусмотрен. Проект WEB: http://sites.g

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

    PROJECT IS BEING DEVELOPED UNDER A DIFFERENT NAME: Пожалуйста, посетите http://sourceforge.net/projects/modelbuilder/ Datamodeler дает ученым и инженерам возможность найти любую многовариантную модель для любого набора данных

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

    Общие простые и эффективные Fast Fourier Transforms (FFT) реализации с использованием политики на основе дизайна и шаблона метапрограммирования в C

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

    SASUnit — это система удельного тестирования программ SAS (TM). Он может быть использован для разработки, выполнения и автоматической документации тестов для программ SAS. SASUnit написан исключительно на основе макросов SAS

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

    Документ Объект Модель Структурированный язык запросов , на основе PHP5 и MyS'L! Пример: 'SELECT (тело) внутренний код from (http://example.com);;

  • Stormtrooper Clock Widget Бесплатная пробная версия

    Виджет штурмовика. С красными световыми мечами для отображения часов и минут.Размер: 2 x 2Добавить на домашний экран в виде виджета.

  • ABIcheck binary compatibility tool Бесплатный

    ABIcheck является инструментом для проверкисоответствие определенному двоичному интерфейсу приложения библиотеки(АБИИ). Он опирается на информацию об определении ABI, содержащуюся вБиблиотека. Примеры определений прив