Verifying Complex Properties using Symbolic Shape Analysis

In  Workshop on Heap Analysis and Verification (HAV 2007)

Details

TypeInproceedings
> Publications > Verifying Complex Properties using Symbolic Shape Analysis