Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard
2007
In Workshop on Heap Analysis and Verification (HAV 2007)
Details
| Type | Inproceedings |
Share
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard
2007
In Workshop on Heap Analysis and Verification (HAV 2007)
| Type | Inproceedings |
