Definitions from Wikipedia (Difference bound matrix)

▸ noun:  In model checking, a field of computer science, a difference bound matrix is a data structure used to represent some convex polytopes called zones.


▸ Words similar to difference bound matrix
▸ Usage examples for difference bound matrix

▸ Idioms related to difference bound matrix
▸ Wikipedia articles (New!)
▸ Words that often appear near difference bound matrix
▸ Rhymes of difference bound matrix

▸ Invented words related to difference bound matrix