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

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
  • Image Viewer CP Pro SDK Winform Control  v.13.5Powerful Document Imaging SDK for WinForms , TIFF PDF to docx sdk activex, Loading, printing and save image files that include PDF,BMP, GIF, ICO, JP2, JPC, JPEG, PCX, PDF,PGX, PNG, PNM, RAS. Convert multipage TIF to multipage PDF.Merge Swap TIFF.
  • Mgosoft PCL Converter SDK  v.8.7.9Convert PCL (pcl, pxl, px3) files to PDF, XPS, Text, PS 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 PCL file.
  • .Net DLL/WSDL Importer for Delphi  v.6.0.1.0The .Net DLL/WSDL Importer for Delphi is used for importing .net assemblies, WSDL or web service XML schema and generates Delphi classes from the types of the imported assemblies.
  • Shopping Cart Web Part  v.2.1ArtfulBits Shopping Cart is intended to provided ecommerce functionality. This web part provides a possibility to exhibit items for sale, its basic information, items images, and price, chose the size or other category of item.
  • 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 ...