Analyzer Component Framework 0.1
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/acf/files/acf/0.1/ACF-0.1.tar.gz/download
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++.