README.md

PARDIBAAL

PARallel DIfference Bound matrix library - AALborg

A DBM (difference bound matrix) is a data structure used to represent constraints on a set of clocks or continuous variables. They are useful in model checking of timed systems.