Checking interval properties of computations