freshmeat.net: Project details for UPPAAL Timed Automata Parser Library

20:08 PDT

[Project]

UPPAAL Timed Automata Parser Library - Default branch

Section: Unix

Added: Tue, Feb 18th 2003 01:50 PDT (5 years, 2 months ago)

Updated: Fri, Mar 2nd 2007 18:28 PDT (1 year, 2 months ago)

About:
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.

Author:
Gerd Behrmann [contact developer]

Homepage:
http://www.cs.auc.dk/~behrmann/utap/
Tar/GZ:
http://www.cs.auc.dk/~behrmann/utap/libutap-0.91.tar.gz

Trove categories: [change]
[Development Status] 3 - Alpha
[Intended Audience] Developers
[License] OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System] Microsoft :: Windows, POSIX
[Programming Language] C++
[Topic] Software Development :: Libraries

Dependencies: [change]
No dependencies filed

Project admins: [change]
» Gerd Behrmann (Owner)

» Rating: (not rated)
» Vitality: 0.01% (Rank 5043)
» Popularity: 0.43% (Rank 13365)

(click to enlarge graphs)

   Record hits: 5,877
   URL hits: 964
   Subscribers: 9

Projects depending on this project:
Uppaal TRON

Other projects from the same categories:
LFMat
MpNT
zlib
Extend For JavaScript
Perl Site Tools

Users who subscribed to this project also subscribed to:
Multi-User Environment Server (MUES)
WebComicsDB
OpenCA
Fotox
RealVNC

Add comment · Rate this project · Subscribe to new releases · Ignore this project · Email this project to a friend · Project record in XML

Branches

Branch Version Last release License URLs

Default 0.91 02-Mar-2007 GNU Lesser General Public License (LGPL)