Jepsen analyzes the safety properties of distributed systems–most notably,| jepsen.io
1 Background| jepsen.io
