Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving.

Zhenpeng Fang, Xibin Zhao, Min Zhou

Browse the full COMPSAC paper archive.