Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods.

Sanjit A. Seshia, Randal E. Bryant

Browse the full CAV paper archive.