The Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It is distributed separately from UPPAAL under the LGPL license. On this page you can find the source code of the library and some documentation.
This is a snapshot of UTAP in the latest development version of UPPAAL. Highlights of this release include:
This is the version of UTAP used in UPPAAL 3.6 Beta 3. The tracer utility no longer uses libutap. Instead it parses the UPPAAL intermediate format introduced in UPPAAL 3.6 Beta 1.
Position tracking (the mechanism used to map an expression to some position in the input file) has been reimplemented. The representation of types in UTAP has been reimplemented.
The interpreter for expressions has been removed. It was broken and could not be fixed without reimplementing major parts of the UPPAAL interpreter (not included in UTAP). This also means that errors related to the range of variables or expressions are no longer detected by the TypeChecker class.
This is the version used in UPPAAL 3.6 Alpha 1. It contains a lot of bug fixes since version 0.70. Likely there are some API incompatibilities, but it should not be hard to adapt your program to version 0.80. Notice that configure now accepts the --enable-cora option to enable the extensions used by UPPAAL CORA.
This is the version used in UPPAAL 3.4.8. It is a backport from our development branch. Notice that this release requires libxml2 2.6.10 or newer.
This is the version used in UPPAAL 3.4.6. It is a backport from our development branch. Notice that this release requires libxml2 2.6.0 or newer.
This is the version used in UPPAAL 3.4.5.
This is the version used in UPPAAL 3.4 Beta 3.
This is the version used in UPPAAL 3.4 Beta 2.
This is the version used in UPPAAL 3.4 Beta 1.
You need the following tools and libraries on your system in order to compile and use the library:
libutap uses automake and autoconf to generate make files and configure the build process. To configure and install the library, simply run:
./configure make make install
You may want to specify an alternative installation path using the --prefix option.
The following documentation of the library is available at the moment:
The above source code download contains the tracer utility which given a UPPAAL XTR trace file prints the trace to stdout. You may use this example as a starting point for writing your own trace analysis tools. This tool requires access to the UPPAAL intermediate format introduced in UPPAAL 3.6 Beta 1. Invoke it as:
UPPAAL_COMPILE_ONLY=1 verifyta model.xml - | tracer - trace.xtr
UPPAAL_COMPILE_ONLY=1 verifyta model.xml - > model.if tracer model.if trace.xtr
Visit us at our UPPAAL page.Last updated .