Model Checking Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Browse the full FMCAD paper archive.