Approximate Reachability with BDDs Using Overlapping Projections.

Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz

Browse the full DAC paper archive.