Uppaal Timed Automata Parser Library The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL.
Download

Uppaal Timed Automata Parser Library Ranking & Summary

Uppaal Timed Automata Parser Library Tags

parser library UPPAAL Uppaal Timed Timed Automata Timed Automata

Uppaal Timed Automata Parser Library Description

The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL.Requirements:· gcc (2.95.3 or newer)· libxml2 (2.6.0 or newer)· GNU make (3.79 works fine; other versions of make may work, but have not been tested)· flex - optional (2.5.4a works fine)· bison - optional (1.35 works, 1.28 does not)· gperf - optional (2.7.2 works fine)· doxygen - optional (1.3-rc3 works fine)Installation:libutap uses automake and autoconf to generate make files and configure the build process. To configure and install the library, simply run:./configuremakemake installYou may want to specify an alternative installation path using the --prefix option.What's New in This Release:· This is the release used in UPPAAL 3.6 Beta 3.· It contains lots of minor bugfixes, code cleanup, and support for the latest UPPAAL language extension.· An example parser for the new UPPAAL intermediate format is also included.

Uppaal Timed Automata Parser Library Related Software