Graduate School and Research Center in Digital Sciences

Towards property-based consistency verification

Viotti, Paolo; Meiklejohn, Christopher; Vukolic, Marko

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.

Document Doi Bibtex

Title:Towards property-based consistency verification
Keywords:Storage systems; Consistency; Veri cation
Type:Conference
Language:English
City:London
Country:UNITED KINGDOM
Date:
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
Bibtex: @inproceedings{EURECOM+4874, doi = {http://dx.doi.org/10.1145/2911151.2911162}, year = {2016}, title = {{T}owards property-based consistency verification}, author = {{V}iotti, {P}aolo and {M}eiklejohn, {C}hristopher and {V}ukolic, {M}arko}, booktitle = {{PAPOC} 2016, {W}orkshop on {P}rinciples and {P}ractice of {C}onsistency for {D}istributed {D}ata, {A}pril 18th, 2016, {L}ondon, {UK} / co-hosted with {EUROSYS} 2016}, address = {{L}ondon, {UNITED} {KINGDOM}}, month = {04}, url = {http://www.eurecom.fr/publication/4874} }
See also: