Parameterized verification with automatically computed inductive assertions (2001)

by T Arons, A Pnueli, S Ruah, J Xu, L Zuck
Venue:In Proc. CAV 2001, volume 2102 of LNCS