Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.7/5 - ‎3 ‎votos
Baixar

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.

história da versão

  • Versão 0.1 postado em 2000-03-21
    Várias correções e atualizações
  • Versão 0.1 postado em 2000-03-21

Detalhes do programa

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++.