Detailed specification for Redis cluster| Docs
Jepsen analyzes the safety properties of distributed systems–most notably,| jepsen.io