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

10:14 UTC

[Project]

UPPAAL Timed Automata Parser Library - Default branch

Section: Unix

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

Updated: Fri, Mar 2nd 2007 18:28 UTC (1 year, 8 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 5700)
» Popularity: 0.44% (Rank 13296)

(click to enlarge graphs)

   Record hits: 6,415
   URL hits: 980
   Subscribers: 9

Projects depending on this project:
Uppaal TRON

Other projects from the same categories:
GtkMaskedEntry
libft
ctNET
The Corosync Cluster Engine
ff javascript library

Users who subscribed to this project also subscribed to:
SSHWebProxy
QuizComposer
phaonet
XPlanner
MonteCarlito

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 03-Mar-2007 GNU Lesser General Public License (LGPL)