Analizador de aleaciones Herramienta para analizar modelos de aleación
Descargar ahora

Analizador de aleaciones Clasificación y resumen

Analizador de aleaciones Etiquetas

generar analizar ejecutar analizar modelo generar invariantes ejecución de la operación

Analizador de aleaciones Descripción

Herramienta para analizar modelos de aleación. Alloy Analyzer es una herramienta de código abierto y gratuita desarrollada para analizar modelos escritos en aleación, un lenguaje de modelado estructural simple basado en la lógica de primer orden. El analizador de aleaciones puede generar instancias de invariantes, simular la ejecución de las operaciones (incluso las definidas implícitamente), y verifique las propiedades especificadas por el usuario de un modelo. El analizador de software se basa en el nuevo Buscador modelo Kodkod basado en SAT. Kodkod aplica nuevas técnicas y optimizaciones a la traducción de la lógica relacional a la lógica booleana, como las instancias parciales proporcionadas por el usuario y una técnica de ruptura de simetría más general que funciona en presencia de instancias parciales arbitrarias. Un tutorial paso a paso y tutorial de Alloy4 está aquí y aquí. Requisitos: · Java 1.5 o posterior ¿Qué hay de nuevo en este lanzamiento: · Incluye una nueva heurística de numeración de átomos que debe hacer que Utile / solicite la numeración más intuitiva; También se actualizó a la última kodkod, y se actualizó a SAT4J 2.0.5. · La exportación PDF utiliza tecniquetes de compresión y se traduce en un tamaño de archivo más pequeño de hasta 20x.

Analizador de aleaciones Software relacionado