Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.

Yan Chen, Yujing He, Fei Xie, Jin Yang

Browse the full FMCAD paper archive.