3 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
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…