On Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies Viktor Kuncak Karen Zee Andreas Podelski Martin C. Rinard On Verifying Complex Properties using Symbolic Shape Analysis http://arxiv.org/abs/cs/0609104 2006 CoRR abs/cs/0609104 db/journals/corr/corr0609.html#abs-cs-0609104 informal publication