UPPAAL DBM Library v.2.0.5

Advertisement
Advertisement

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.

Difference Bound Matrices (DBMs) are efficient ...

 
  • UPPAAL DBM Library
  • 2.0.5
  • Alexandre David
  • Any Platform
  • GPL
  • 111
 
 

Review UPPAAL DBM Library

  • captcha
 

Other software of Alexandre David
  • Ruby-BDD  v.0.2Ruby-BDD is a BDD Binding for Ruby. BDDs [bry86,and97] (or more precisely ROBDDs) are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. The idea of symbolic ...
  • Ruby-UDBM  v.0.7The Ruby DBM library has now a binding to the popular Ruby language. The binding offers several modules as different layers on top of the DBM library, depending on what the user wants to do. The different modules are: - udbm: This is the core binding ...
  • UPPAAL  v.4.0.6UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). UPPAAL CORA is a branch of UPPAAL for Cost ...

New Components & Libraries software
  • ODBC Driver for xBase  v.1.3Devart ODBC Driver for xBase provides high-performance and feature-rich connectivity solution for ODBC-based applications to access FoxPro, dBase, and other databases in DBF file formats.
  • DotConnect for SugarCRM  v.1.7dotConnect for SugarCRM is an ADO.NET provider for working with SugarCRM data through the standard ADO.NET or Entity Framework interfaces.
  • Mgosoft XPS Converter SDK  v.9.0.1Convert XPS files to PDF, PS format and dozens of image formats, such as TIFF, JPEG, PNG, BMP, PCX, GIF, WMF, EMF, TGA and so on, it retains the layout, images, text, line, ellipse, color, and formatting of the original XPS file.
  • SentiVeillance SDK Trial  v.6.0.178880Real-time biometric face recognition and pedestrian/vehicle tracking SDK for surveillance systems and networks. Supports up to 10 cameras on one PC. Automatic identification against watch list, gender/emotions detection. See: youtu.be/Jpt5jE5rwCQ ...
  • UPPAAL  v.4.0.6UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). UPPAAL CORA is a branch of UPPAAL for Cost ...
  • Upper -Upper will rename a file or directory to its uppercase name. You can use wildcards to specify multiple files. Because DOS is not case sensitive, there is no 16-bit ...