Environment abstraction for parameterized verification (2006)

by E Clarke, M Talupur, H Veith
Venue:In VMCAI, 126–141