Verification of Real-Time Systems by Successive Over and Under Approximation.

David L. Dill, Howard Wong-Toi

Browse the full CAV paper archive.