Analyzer Component Framework 0.1
Вы сможете скачать в течение 5 секунд.
Вы также можете нажать на следующую внешнюю ссылку скачать, чтобы начать загрузку:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
О 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 – это библиотека, обеспечивающая простую, облегченную и интуитивно понятную основу для создания конечных государственных машин в СЗ.