PAPOC 2016, Workshop on Principles and Practice of Consistency for Distributed Data, April 18th, 2016, London, UK / co-hosted with EUROSYS 2016
We propose a novel approach to the veri cation of consistency models implemented in distributed storage systems. We base our work on a declarative semantic model de n-
ing consistency conditions as predicates expressing ordering and visibility of operations. This model allows for a testing methodology focused on correctness properties rather
than operational semantics. Finally, we present and discuss the design and preliminary implementation of a practical property-based consistency veri cation framework.
Type:
Conférence
City:
London
Date:
2016-04-18
Department:
Data Science
Eurecom Ref:
4874
Copyright:
© ACM, 2016. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PAPOC 2016, Workshop on Principles and Practice of Consistency for Distributed Data, April 18th, 2016, London, UK / co-hosted with EUROSYS 2016 http://dx.doi.org/10.1145/2911151.2911162
See also:
