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

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

Serving Software Downloads in 956 Categories, Downloaded 49.483.568 Times

Uppaal Timed Automata Parser Library 0.90

  Date Added: January 04, 2010  |  Visits: 1.206

Uppaal Timed Automata Parser Library

Report Broken Link
Printer Friendly Version


Product Homepage
Download (103 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
USER REVIEWS
More Reviews or Write Review


UPPAAL TIMED AUTOMATA PARSER LIBRARY RELATED
Libraries  -  Libxffm 4.5.0
Libxffm is the basic filemanagement library used by some xffm applications, such as the xffm-filemanager. Libxffm was developed as a part of the xffm-filemanager and has evolved into a separate package. Xffm is the integration of xftree,...
798.72 KB  
Libraries  -  libspopc 0.7.5
libspopc is a simple and light pop3 mail client library used by small programs. One of the libspopcs purposes is to help developpers to host easily a pop3 mail client in their programs. libspopc support also SSL encrypted connections (with...
61.44 KB  
Libraries  -  Xffm GUI library 4.5.0
Xffm-gui library is used by some xffm applications, such as the xffm-filemanager. It was developed as a part of the xffm file manager, and has evolved into a separate package. It has a desk view, icon view, and tree view. Xffm is the...
3 MB  
Libraries  -  GPM client library 1.20.3.0
GPM client library (libgpm) package is an stand-alone version of GPMs client library, used by many console applications for mouse access. Despite the (now quite aged) GPM package it contains just the client part (no server), and provides a...
32.77 KB  
Libraries  -  giblib 1.2.4
Giblib is a utility library used by many of the applications I write. It incorporates doubly linked lists, some string functions, and a wrapper for imlib2. The wrapper does two things. It gives you access to fontstyles, which can be loaded from...
286.72 KB  
Development Editors  -  GFL SDK 3.40
GFL SDK was designed to be a free library (used by XnView) for developers who would like to support graphics image formats easily. NOTE: GFL SDK is provided as Freeware for private non-commercial or educational use (including non-profit...
 
Libraries  -  MihaiB-utils 1.1.1
Java library used by other projects. Has support for easily building a Swing GUI.
5.98 KB  
Libraries  -  libband 0.01
LibBand is a simple library wrapper written in assembly and C (but I plan to rewrite everything in C) useful if you want to limit the bandwidth used by a program. It simply overrides some libc functions, using the LD_PRELOAD environment...
22.53 KB  
Networking Tools  -  SSH library 0.11
Ssh library was designed to be used by programmers needing a working SSH implementation by the mean of a library. Runs only on x86 linux, bsd and MacOS X. libssh is a C library to access SSH 2 services from a program. It can remotely execute...
296.96 KB  
Libraries  -  libmms 0.3
libmms is a library implementing the MMS streaming protocol, used by most Windows Media streams. libmms library is used by the GStreamer MMS plugin, but is not tied to GStreamer or any other project. LibMMS was created out of need for common...
327.68 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
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  -  Math::GMPf 0.29
Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.
30.72 KB  
Programming  -  Net::Wire10 1.08
Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...
30.72 KB  
Programming  -  logilab-common 0.56.2
a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...
174.08 KB  
Programming  -  OpenSSL for linux 1.0.0a
The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...
3.83 MB  
Libraries  -  wolfSSL 4.0.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...
3.88 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