Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.143.541 Times

Uppaal Timed Automata Parser Library 0.90

  Date Added: January 04, 2010  |  Visits: 924

Uppaal Timed Automata Parser Library

Report Broken Link
Printer Friendly Version


Product Homepage
Download (85 downloads)

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

Requirements: No special requirements
Platforms: Linux
Keyword: Automata Libraries Library Parser Programming Timed Uppaal Uppaal Timed Automata Parser Library Used Used By
Users rating: 0/10

License: Freeware Size: 419.84 KB
UPPAAL TIMED AUTOMATA PARSER LIBRARY RELATED
Libraries  -  Bigtop::Parser 0.16
Bigtop::Parser is the Parse::RecDescent grammar driven parser for bigtop files. SYNOPSIS Make a file like this: config { base_dir `/home/username`; Type1 Backend {} Type2 Backend {} Type3 Backend {} } app App::Name { table name { }...
378.88 KB  
Libraries  -  Timer_q 1.0.7
Timer_q is a shared C library which implements multiple queues of timed events. This is commonly needed, but often implemented badly (via. alarm()). Timer_q also aims to be small, fast and easy to use. Whats New in This Release: - Many fixes...
430.08 KB  
Libraries  -  Paderborn University BSP Library 01-26-2007
Paderborn University BSP Library is a C-Library to support development of parallel algorithm based on the "Bulk-Synchronous-Parallel-Model". The Library offers buffered asynchronous message-passing between the nodes, organized in supersteps. At...
348.16 KB  
Libraries  -  STUN Protocol Library 0.96
STUN Protocol Library provides the Simple Traversal of UDP through NATs Library. STUN Protocol Library, Client and Server implements a simple STUN (Simple Traversal of UDP through NATs) server and client, using the included library. The STUN...
86.02 KB  
Libraries  -  The Mango Library August 2007
The Mango Library is a Java library consisting of a number of iterators, algorithms and functions, loosely inspired by the C++ Standard Template Library. Whats New in This Release: - This release adds a further two iterators..
21.5 KB  
Libraries  -  SVG::Parser 1.01
SVG::Parser is a Perl module with XML Parser for SVG documents. SYNOPSIS #!/usr/bin/perl -w use strict; use SVG::Parser; die "Usage: $0 n" unless @ARGV; my $xml; { local $/=undef; $xml= ; } my $parser=new SVG::Parser(-debug =>...
14.34 KB  
Libraries  -  Template::Parser::CET 0.04
Template::Parser::CET is a Template::Alloy based parser for the TT2 engine. SYNOPSIS use Template; use Template::Parser::CET; my $t = Template->new( PARSER => Template::Parser::CET->new ); # you can override all instances of TT # by...
35.84 KB  
Libraries  -  LibIdent C library 0.32
LibIdent is a small C library for interfacing with RFC 1413 Identification protocol servers, which are used for identifying users. LibIdent C library supports both IPv4 and IPv6 addresses transparently. It is meant to be used by daemons to try...
286.72 KB  
Libraries  -  Memory Structures Library 4.0
Memory Structures Library (MemSL) is a complete data structures/collection classes library with memory tracing, memory debugging, entry/exit tracing, exception handling, definable memory handlers, built-in thread support, and much more. The...
839.68 KB  
Libraries  -  Python SRS Library 0.30.11
Python SRS Library is a Python implementation of the Sender Rewriting Scheme. Python SRS Library is a fairly direct translation of the draft implementation in Perl by Shevek. It includes a test suite, which currently checks four levels of...
37.89 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Libraries  -  wolfSSL 3.12.0
The wolfSSL embedded SSL/TLS library is a lightweight SSL library written in ANSI standard C and targeted for embedded and RTOS environments - primarily because of its small size, speed, and feature set. It is commonly used in standard operating...
2.73 MB  
Libraries  -  EuGTK 4.8.9
Makes it easy to develop good- looking, fast, cross-platform programs that run on Linux, OS X, and Windows. Euphoria is a very fast interpreted/compiled language with straight-forward syntax. EuGTK allows programming in a clean, object-oriented...
10.68 MB  
Libraries  -  Linux User Group Library Manager 1.0
The LUG Library Manager is a project to help Linux User Groups start their own library. A LUG library is helpful to the community at large because it increases access to information, and gives everyone the opportunity to become more knowledgeable.
5.35 KB  
Libraries  -  Module::MakefilePL::Parse 0.12
Module::MakefilePL::Parse is a Perl module to parse required modules from Makefile.PL. SYNOPSIS use Module::MakefilePL::Parse; open $fh, Makefile.PL; $parser = Module::MakefilePL::Parse->new( join("", ) ); $info = $parser->required;...
8.19 KB  
Libraries  -  sqlpp 0.06
sqlpp Perl package is a SQL preprocessor. sqlpp is a conventional cpp-alike preprocessor taught to understand SQL ( PgSQL, in particular) syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also...
10.24 KB