Analyzer Component Framework 0.1
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
Sobre Analyzer Component Framework
ACF é uma estrutura para escrever verificadores de modelos. ACF é construído sobre a observação fundamental de que a estrutura da maioria algoritmos de verificação de modelos é independente do formalismo usado para descrever o sistema.
Programas Relacionados
-
LEP Livre
A Programação do Eclipse Alfabetizado auxilia os desenvolvedores na escrita de código-fonte estruturado e bem documentado. A LEP integra a extração automatizada de código-fonte e documentação em um ambiente de eclipse familia
-
BakerBots Livre
Este é o Baker College, aplicativo desenvolvido por estagiários para a execução de bots como avatares em Second Life, OpenSim, etc. Ele conta com o Program# para processamento AIML e libOpenMetaverse para a funcionalidade do
-
Survival Medicine Guide Avaliação gratuita
"Requer leitor de Adobe gratuito"**Este é um guia de medicina de sobrevivência no caso do que todos tememos realmente acontecer. Este é um grande elogio a qualquer bom manual de sobrevivência. Esta informação pode não est
-
Universal Maths Conversion Library Livre
A biblioteca da UMCL fornece uma única API para desenvolvedores de aplicativos que necessitam de conversões entre diferentes formatos de Matemática e especialmente notações específicas de Braille.
-
Bhagavad Gita(YaBG) Livre
YaBG - Mais um "Bhagavad Gita" app. Este app permite que você leia toda a gita bhagavad sem interrupções; sem anúncios, sem pop-ups dolorosos; completamente livre e nada intrusivo. Criei este aplicativo para que eu
-
PONS German PREMIUM Avaliação gratuita
O PONS Dictionary German como uma língua estrangeira PREMIUM está com 77.000 palavras-chave, frases e construções e mais de 125.000 definições e exemplos a ferramenta de referência padrão mais abrangente pelo PONS. Você está
-
jQuantum Livre
jQuantum é um programa Java para simular um computador quântico, projetar circuitos quânticos e visualizar a execução de algoritmos quânticos. Outro objetivo principal, no entanto, é criar imagens em sua cabeça, e assim - com
-
FlameBitmaps Livre
Cálculo do cálculo de bitmaps em escala 2D-Gray Cálculo de um corpo de rotação 3D forma uma área detectada usando diferentes algoritmos de processamento de imagem. Desenvolvido para o Centro Aeroespacial Alemão (DLR). Projeto
-
fropho Livre
fropho calcula propriedades de fônon em cristal, que é baseado no método Parlinski-Li-Kawazoe. Informações de forças agindo sobre átomos quando um átomo é deslocado são necessárias como informações de entrada. fropho vai ser
-
FSMPP - Finite State Machines in C++ Livre
FSMPP é uma biblioteca que fornece uma estrutura simples, lite e intuitiva para a construção de máquinas de estado finito em C++.