Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard

Details

Publication typeInproceedings
Published inWorkshop on Heap Analysis and Verification (HAV 2007)
> Publications > Verifying Complex Properties using Symbolic Shape Analysis