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
  • 101
 
 

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
  • Mgosoft PDF Split Merge SDK  v.9.1.8Mgosoft PDF Split Merge is a simple, stand-alone application that lets you split any Acrobat pdf file into smaller pdf files or combine two or more Acrobat PDF files into a single PDF document.
  • TeeBI for RAD Studio Suite  v.2017TeeBI Business Intelligence and Analytics component suite for RAD Studio developers ...
  • GeoDLL  v.17.31GeoDLL is a Geodetic Development Kit / Geodetic Function Library with worldwide 2D and 3D Coordinate Transformation, Datum Shift, Meridian Convergence and Extra Parameter with highest accuracy. Helmert, NTv2, HARN, INSPIRE, EPSG, DEM and much more ...
  • Mgosoft XPS To PDF SDK  v.11.5.8Mgosoft XPS To PDF facilitates the conversion of Microsoft XPS documents into well-known PDF format files without sacrificing content while giving quality output.
  • 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 ...