3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Duc-Hiep Chu, Joxan Jaffar
We consider the problem of automatically verifying programs which manipulate arbitrary data structures. Our specification language is expressive, contains a notion of \emph{separat…