Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.

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

Browse the full CAV paper archive.