A Framework for Array Invariants Synthesis in Induction-Loop Programs.

Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao

Browse the full APSEC paper archive.