Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Analyzer Component Framework
  5. Download

Analyzer Component Framework 0.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.7/5 - ‎3 ‎Votos

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