Sciweavers

Share
CAV
2010
Springer
198views Hardware» more  CAV 2010»
9 years 9 months ago
Automatically Proving Linearizability
Abstract. This paper presents a practical automatic veriļ¬cation procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
Viktor Vafeiadis
books