2 citations · 2 across the 4 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…