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

Analyzer Component Framework 0.1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.7/5 - ‎3 ‎Votos

acerca de Analyzer Component Framework

ACF es un marco para escribir verificadores de modelos. ACF se basa en la observación fundamental de que la estructura de la mayoría de los algoritmos de verificación de modelos es independiente del formalismo utilizado para describir el sistema.

Programas relacionados

  • LEP Gratis

    Literate Eclipse Programming ayuda a los desarrolladores a escribir código fuente estructurado y bien documentado. LEP integra la extracción automatizada de código fuente y documentación en un entorno de eclipse familiar. La

  • BakerBots Gratis

    Esta es la Baker College, aplicación desarrollada por pasantes para ejecutar bots como avatares en Second Life, OpenSim, etc. Se basa en el programa para el procesamiento de AIML y libOpenMetaverse para la funcionalidad del n

  • Survival Medicine Guide Prueba gratuita

    "Requiere Adobe Reader gratis"*****Esta es una guía de medicina de supervivencia en caso de que lo que todos tememos realmente sucede. Este es un gran cumplido para cualquier buen manual de supervivencia. Es posible que e

  • Universal Maths Conversion Library Gratis

    La biblioteca UMCL proporciona una única API a los desarrolladores de aplicaciones que requieren conversiones entre diferentes formatos de matemáticas y, especialmente, notaciones específicas de Braille.

  • Bhagavad Gita(YaBG) Gratis

    YaBG - Otra aplicación "Bhagavad Gita". Esta aplicación le permite leer a través de todo el bhagavad gita sin ninguna interrupción; sin anuncios, sin ventanas emergentes dolorosas; completamente libre y nada intrusi

  • PONS German PREMIUM Prueba gratuita

    El DICCIONARIO PONS En alemán como lengua extranjera PREMIUM está con 77.000 palabras clave, frases y construcciones y más de 125.000 definiciones y ejemplos de la herramienta de referencia estándar más completa de PONS. ¿Est

  • jQuantum Gratis

    jQuantum es un programa Java para simular una computadora cuántica, diseñar circuitos cuánticos y visualizar la ejecución de algoritmos cuánticos. Otro propósito principal, sin embargo, es crear imágenes en su cabeza, y por l

  • FlameBitmaps Gratis

    Cálculo de mapas de bits a escala gris 2D El cálculo de un cuerpo de rotación 3D forma un área detectada mediante diferentes algoritmos de procesamiento de imágenes. Desarrollado para el Centro Aeroespacial Alemán (DLR). Proy

  • fropho Gratis

    fropho calcula las propiedades del fonón en el cristal, que se basa en el método Parlinski-Li-Kawazoe. La información de las fuerzas que actúan sobre átomos cuando se desplaza un átomo se requiere como información de entrada.

  • FSMPP - Finite State Machines in C++ Gratis

    FSMPP es una biblioteca que proporciona un marco sencillo, ligero e intuitivo para la creación de máquinas de estado finito en C++.