8 search results - page 2 / 2 » Shape-Value Abstraction for Verifying Linearizability |
CAV
2008
Springer
13 years 7 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 ...
WDAG
2005
Springer
13 years 10 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...