A mechanism for verifying whether the actual value of a variable at run time corresponds to the expected value of that variable. See also timing constraint.