11 search results - page 3 / 3 » Verifying linearizability with hindsight |
116
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...