UPPAAL DBM Library 2.0.5
Sponsored Links
UPPAAL DBM Library 2.0.5 Ranking & Summary
File size:
MB
Platform:
Any Platform
License:
GPL (GNU General Public License)
Price:
Downloads:
1219
Date added:
2006-06-30
Publisher:
Alexandre David
UPPAAL DBM Library 2.0.5 description
Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata.
They are used in UPPAAL as the core data structure to represent time. This library features all the common operations such as up (delay, or future), down (past), general updates, different extrapolation functions, etc. on DBMs and federations.
The library also supports subtractions and methods to merge DBMs.
Enhancements:
- Bugs have been fixed in getValuation and mergeReduce, and doxygen comments have been corrected.
- New methods have been added to the API: Hooks to mingraph_t, hasZero to test if DBMs (or federations) contain the zero point, delay for points, and toString.
- The structure partition_t has been drastically improved.
- The operations subtractions, intersections, and "mergeReduce" have been substantially improved.
- There is a new print format of DBMs and federations to be more compatible with the Ruby binding.
- index_t has been renamed to cindex_t due to a conflict on Solaris.
They are used in UPPAAL as the core data structure to represent time. This library features all the common operations such as up (delay, or future), down (past), general updates, different extrapolation functions, etc. on DBMs and federations.
The library also supports subtractions and methods to merge DBMs.
Enhancements:
- Bugs have been fixed in getValuation and mergeReduce, and doxygen comments have been corrected.
- New methods have been added to the API: Hooks to mingraph_t, hasZero to test if DBMs (or federations) contain the zero point, delay for points, and toString.
- The structure partition_t has been drastically improved.
- The operations subtractions, intersections, and "mergeReduce" have been substantially improved.
- There is a new print format of DBMs and federations to be more compatible with the Ruby binding.
- index_t has been renamed to cindex_t due to a conflict on Solaris.
UPPAAL DBM Library 2.0.5 Screenshot
UPPAAL DBM Library 2.0.5 Keywords
UPPAAL
DBM
DBMs
UPPAAL DBM Library 2.0.5
Difference Bound Matrices
UPPAAL DBM
to represent
Data Structures
library
represent
data
matrices
structures
timed
UPPAAL DBM Library
UPPAAL DBM Library 2.0.5
Bookmark UPPAAL DBM Library 2.0.5
UPPAAL DBM Library 2.0.5 Copyright
WareSeeker periodically updates pricing and software information of UPPAAL DBM Library 2.0.5 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of UPPAAL DBM Library 2.0.5 Edition. Download links are directly from our publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
Featured Software
Want to place your software product here?
Please contact us for consideration.
Contact WareSeeker.com
Related Information
Related Software
C Algorithms Library is a collection of commonly used Computer Science algorithms. Free Download
Aapl is a C++ template library for generic programming. Free Download
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. Free Download
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly algorithm for solving games. Free Download
Vstr is a safe and fast string library for C. Free Download
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems. Free Download
Standard Portable Library is a pointer friendly C/C++ STL substitute. Free Download
C Generic Library is a generic data structure library is a bunch of data structures. Free Download
Latest Software
Popular Software
Favourite Software
