3 ms·
They can be tested with quickcheck as well: http://yellerapp.com/posts/2014-05-08-testing-riak.html http://yellerapp.com/posts/2014-05-08-testing-riak.html
by biscarch 12y ago
They can be tested with quickcheck as well: http://yellerapp.com/posts/2014-05-08-testing-riak.html http://yellerapp.com/posts/2014-05-08-testing-riak.html
- cmeiklejohn 12y agoRelevant work I've done in the past: http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html http://christophermeiklejohn.com/coq/2013/06/11/distributed-... Also, see related papers from PaPEC '14: http://dl.acm.org/citation.cfm?id=2596631 http://dl.acm.org/citation.cfm?id=2596631