Biblioteca de analisador de autômatos até o uppaal A biblioteca de parser automaticamente cronometrado do Uppaal (libutap) é a biblioteca de parser usada pelo uppaal.
Baixe Agora

Biblioteca de analisador de autômatos até o uppaal Classificação e resumo

Biblioteca de analisador de autômatos até o uppaal Tag

biblioteca de analisador Uppaal. UPPAAL Temporário cronometrado Automata cronometrada Automata

Biblioteca de analisador de autômatos até o uppaal Descrição

A biblioteca de parser automaticamente cronometrado uppaal (libutap) é a biblioteca de parser usada pelo uppaal. Biblioteca de parser automata cronometrado (libutap) é a biblioteca de parser usada por uppaal.Requirements: · GCC (2.95.3 ou mais recente) · libxml2 (2.6.0 ou mais recente) · GNU FAZ (3.79 funciona bem; outras versões de maio podem funcionar , mas não foram testados) · flex - opcional (2.5.4a funciona bem) · Bison - opcional (1.35 obras, 1.28 não) · Gperf - opcional (2.7.2 Funciona bem) · Doxygen - Opcional (1.3-RC3 Fine) Instalação: O libutap usa a automapaça e o AutoConf para gerar arquivos e configurar o processo de compilação. Para configurar e instalar a biblioteca, basta executar: ./ Configuremakemake Installyou pode especificar um caminho de instalação alternativa usando a opção --Prefix.O que é novo nesta versão: · Esta é a versão usada no Uppaal 3.6 Beta 3. · Contém Muitos pequenos bugfixos, limpeza de código e suporte para a mais recente extensão de idioma uppaal. · Um parser de exemplo para o novo formato intermediário uppaal também está incluído.

Biblioteca de analisador de autômatos até o uppaal Software Relacionado