UPPAAL DBM Library 2.0.5 review

Download

Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. They are used in

License:	GPL (GNU General Public License)
File size:	0K
Developer:	Alexandre David

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.

What's New in This Release:
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
Zoom

UPPAAL DBM Library 2.0.5 search tags

UPPAAL DBM Library 2.0.5: Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. They are used in
Ruby-UDBM 0.7: The Ruby DBM library has now a binding to the popular Ruby language
liblookdb 0.2.1: liblookdb is a C++ library that provides an interface to several common Database Management Systems (DBMS)
WySQL 2.0.0 beta3: WySQL is a CLI-like web console interface, written in PHP4, for remote database management when telnet/ssh is not available
Uppaal Timed Automata Parser Library 0.90: Uppaal Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. Requirements: · gcc (2.95.3 or newer) · lib
dbmstools 0.4.1: dbmstools module exists mainly for developers who need to support applications on more than one database management system (DBMS)
UPPAAL 4.0.3: UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed

UPPAAL DBM Library 2.0.5 review

Alternative/similar