Biblioteca de Parser Automedia de Times Uppaal La biblioteca de analizador de automóviles temporizada de Uppaal (Libutap) es la biblioteca del analizador utilizada por Uppaal.
Descargar ahora

Biblioteca de Parser Automedia de Times Uppaal Clasificación y resumen

Biblioteca de Parser Automedia de Times Uppaal Etiquetas

biblioteca analizadora Uppaal Vouply cronometrado Autómata cronometrada Cronometrado Autómata

Biblioteca de Parser Automedia de Times Uppaal Descripción

La Biblioteca de Parser Automata de Times UPPAAL (Libutap) es la Biblioteca de Parser utilizada por Uppaal. La biblioteca de Parser de Automata Timped Automata (libutap) es la biblioteca del analizador utilizada por Uppaal.Requesements: · GCC (2.95.3 o más nuevo) · libxml2 (2.6.0 o más nuevo) · Hacer GNU (3.79 funciona bien; Otras versiones de Make pueden trabajar , pero no se han probado) · FLEX - opcional (2.5.4a funciona bien) · Bison: opcional (1.35 funciona, 1.28 no) · GPERF - Opcional (2.7.2 funciona bien) · Doxygen - Opcional (1.3-RC3 funciona FINE) INSTALACIÓN: LIBUTAP utiliza AutaTake y AutoConf para generar archivos y configurar el proceso de compilación. Para configurar e instalar la biblioteca, simplemente ejecute: ./ configureemakemakake instilou puede querer especificar una ruta de instalación alternativa usando la opción --prefix.Qué nuevo en esta versión: · Esta es la versión utilizada en UPPAAL 3.6 Beta 3. · Contiene Muchas correcciones de errores menores, limpieza de código y soporte para la última extensión de Idioma Uppaal. · También se incluye un parser de ejemplo para el nuevo formato intermedio de Uppaal.

Biblioteca de Parser Automedia de Times Uppaal Software relacionado