UPPAAL Timed Automata Parser Library
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats.
| Tags | Software Development Libraries |
|---|---|
| Licenses | LGPL |
| Operating Systems | POSIX Windows Windows |
| Implementation | C++ |
Recent releases
- 02 Mar 2007 18:28
No changes have been submitted for this release.
- 29 Apr 2006 13:57
Release Notes: 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.
- 23 Nov 2005 05:46
Release Notes: This is the version of the parser used in UPPAAL 3.6 Alpha 1 and in UPPAAL CORA 051027. Besides bugfixes, this release contains support for parsing CORA models.
- 18 Feb 2005 04:15
Release Notes: This release features bugfixes and improvements in the C language extensions.
- 17 Jun 2004 03:18
Release Notes: This release is a backport of the development version. It contains bugfixes and a lot of code cleanups.
behrmann
18 Feb 2003 01:50
Heartbeat
- Popularity Score
- 45.17
- Vitality Score
- 3.99
- Subscriptions
- 9
