Dynamic transition relation simplification for bounded property checking.

Andreas Kuehlmann

Browse the full ICCAD paper archive.