Verification of Timed Circuits with Failure Directed Abstractions.

Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda

Browse the full ICCD paper archive.