Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.

Yan Chen, Fei Xie, Jin Yang

Browse the full DAC paper archive.