Parameterized verification with automatically computed inductive assertions (2001)

by T Arons, A Pnueli, S Ruah, J Xu, L D Zuck
Venue:In Computer Aided Verification