English Difference bound matrix Cited by user Arthur MILCHIOR on 19 Mar 2019 In model checking, two field of computer science, a difference bound matrix (DBM) is a data structure used to represents some convex polytopes called zones.