Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.

Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers

Browse the full ATVA paper archive.