UPPAAL DBM Library

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

UPPAAL DBM Library Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Price:
  • FREE
  • Publisher Name:
  • Alexandre David
  • Publisher web site:
  • http://www.cs.aau.dk/~adavid/tiga/

UPPAAL DBM Library Tags


UPPAAL DBM Library Description

Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. 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:· Minor API updates were made.· A memory leak in the resize function was fixed.


UPPAAL DBM Library Related Software

About SoftwareSea