Optimizing Symbolic Model Checking for Constraint-Rich Models.

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron

Browse the full CAV paper archive.