Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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