Interval verification