PUBLICATION: Towards property-based consistency verification
© 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
