Iterative algorithms for formal verification of embedded real-time systems.

Felice Balarin, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.