Automatic Abstraction for Verification of Timed Circuits and Systems.

Hao Zheng, Eric Mercer, Chris J. Myers

Browse the full CAV paper archive.