Timing Verification by Successive Approximation.

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis

Browse the full CAV paper archive.