Parameterized verification with automatically computed inductive assertions,” (2001)

by T Arons, A Pnueli, S Ruah, Y Xu, L Zuck
Venue:in Computer Aided Verification,