Analyzer Component Framework 0.1
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
Sobre Analyzer Component Framework
ACF é um quadro para escrever modelos-damas. A ACF baseia-se na 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 Grátis
A Programação de Eclipses Literate ajuda os desenvolvedores na escrita de código fonte estruturado e bem documentado. A LEP integra a extração automatizada do código fonte e documentação num ambiente de eclipse familiar. A co
-
BakerBots Grátis
Este é o Baker College, aplicação desenvolvida por estagiários para executar bots como avatares em Second Life, OpenSim, etc. Baseia-se no Programa# para o processamento AIML e libOpenMetaverse para a funcionalidade do navega
-
Survival Medicine Guide Julgamento Gratuito
"Requer leitor gratuito de Adobe"*Este é um guia de medicina de sobrevivência, caso o que todos tememos realmente aconteça. Este é um grande elogio a qualquer bom manual de sobrevivência. Esta informação pode não estar di
-
Universal Maths Conversion Library Grátis
A biblioteca UMCL fornece uma única API aos desenvolvedores de aplicações que requerem conversões entre diferentes formatos de Matemática e especialmente notações específicas de Braille.
-
Bhagavad Gita(YaBG) Grátis
YaBG - Mais uma aplicação "Bhagavad Gita" Esta aplicação permite-lhe ler toda a bhagavad gita sem interrupções; sem anúncios, sem pop-ups dolorosos; completamente livre e nada intrusivo. Criei esta aplicação para qu
-
PONS German PREMIUM Julgamento Gratuito
O PONS Dictionary German como um PREMIUM de língua estrangeira 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 pela PONS. Estás a
-
jQuantum Grátis
jQuantum é um programa java para simular um computador quântico, para desenhar circuitos quânticos, e para visualizar a execução de algoritmos quânticos. Outro objetivo principal, no entanto, é criar imagens na sua cabeça, e
-
FlameBitmaps Grátis
Cálculo de bitmaps em escala 2D-gray Cálculo de um corpo de rotação 3D forma uma área detetada usando diferentes algoritmos de processamento de imagem. Desenvolvido para o Centro Aeroespacial Alemão (DLR). Projetos usados: Su
-
fropho Grátis
o fropho calcula as propriedades de phonon em cristal, que é baseado no método Parlinski-Li-Kawazoe. A informação das forças que atuam sobre os átomos quando um átomo é deslocado é necessária como informação de entrada. Froph
-
FSMPP - Finite State Machines in C++ Grátis
FSMPP é uma biblioteca que fornece um quadro simples, lite e intuitivo para a construção de Máquinas estatais finitas em C++.