Scaling BDD-based Timed Verification with Simulation Reduction.

Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong

Browse the full ICFEM paper archive.