Shape analysis by predicate abstraction (0)

by I Balaban, A Pnueli, L D Zuck
Venue:In VMCAI’2005: Verification, Model Checking, and Abstraction Interpretation