temporal property


Also found in: Dictionary.
Graphic Thesaurus  🔍
Display ON
Animation ON
Legend
Synonym
Antonym
Related
  • noun

Words related to temporal property

References in periodicals archive ?
A program C = (V, I, E) satisfies a temporal property if its corresponding transition system model M = (S, I, X, L) satisfies the property, i.
The SATA-Xactor environment leverages advanced verification techniques of Avery's TestWizard product supporting complex data structures, transaction database, random generation, temporal property checking, and coverage analysis.
The SATA-Xactor environment leverages the advanced verification techniques of Avery's TestWizard product supporting complex data structures, transaction database, random generation, temporal property checking, and coverage analysis.