They can be tested with quickcheck as well: http://yellerapp.com/posts/2014-05-0... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		biscarch on May 12, 2014 \| parent \| context \| favorite \| on: Roshi: a CRDT system for timestamped events They can be tested with quickcheck as well: http://yellerapp.com/posts/2014-05-08-testing-riak.html

cmeiklejohn on May 12, 2014 [–]

Relevant work I've done in the past:

http://christophermeiklejohn.com/coq/2013/06/11/distributed-...

Also, see related papers from PaPEC '14:

http://dl.acm.org/citation.cfm?id=2596631

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact