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

Analyzer Component Framework 0.1

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

О Analyzer Component Framework

ACF является основой для написание модели-чекеров. ACF построен на фундаментальном наблюдении, что структура большинства алгоритмы проверки моделей не зависит от формализма, используемого для описания системы.

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

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

    Грамотное программирование Eclipse помогает разработчикам в написании структурированного, хорошо документированного исходный код. LEP интегрирует автоматизированное извлечение исходных кодов и документации в знакомую среду за

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

    Это Бейкер колледж, стажер-разработанное приложение для запуска ботов в качестве аватаров в Second Life, OpenSim и т.д. Он опирается на программу для обработки AIML и libOpenMetaverse для функциональности браузера SL.

  • Survival Medicine Guide Бесплатная пробная версия

    "Требуется бесплатный Adobe Reader"Это руководство медицины выживания в случае, если то, что мы все боимся на самом деле происходит. Это большой комплимент для любого хорошего руководства выживания. Эта информация может б

  • Universal Maths Conversion Library Бесплатный

    Библиотека UMCL предоставляет разработчикам приложений единый API, требующий преобразования между различными форматами математики и особенно конкретными нотациями Брайля.

  • Bhagavad Gita(YaBG) Бесплатный

    YaBG - Еще одна цитата;Бхагавад Гитацит; приложение. Это приложение позволяет читать через весь бхагавад гита без каких-либо перерывов; никаких объявлений, никаких болезненных всплывающих окон; полностью свободным и ничего на

  • PONS German PREMIUM Бесплатная пробная версия

    Словарь PONS немецкий как иностранный язык PREMIUM с 77000 ключевых слов, фраз и конструкций и более 125000 определений и примеров наиболее полный стандартный справочный инструмент PONS. Вы изучаете немецкий язык и нуждаетесь

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

    j'U'u'tum - это java-программа для имитации квантового компьютера, для проектирования квантовых схем и визуализации выполнения квантовых алгоритмов. Еще одна главная цель, однако, заключается в создании образов в вашей голове

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

    Расчет 2D-серых бит-карт Расчет 3D-вращения тела образуют обнаруженную область с помощью различных алгоритмов обработки изображений. Разработан для Германского аэрокосмического центра (DLR). Используемые проекты: Вещество (GU

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

    фрофо вычисляет свойства фонона в кристалле, который основан на методе Парлински-Ли-Кавазоэ. Информация о силах, действующих на атомы при перемещении атома, требуется в качестве входной информации. Фрофо будет заменен на phon

  • FSMPP - Finite State Machines in C++ Бесплатный

    FSMPP – это библиотека, обеспечивающая простую, облегченную и интуитивно понятную основу для создания конечных государственных машин в СЗ.