Shape Analysis through Predicate Abstraction and Model Checking.

Dennis Dams, Kedar S. Namjoshi

Browse the full VMCAI paper archive.