go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc... - View it on GitHub