Jepsen

Clojure-based distributed systems safety testing framework and the consultancy of the same name, known for published reports that stress databases with network faults and check the resulting histories for consistency violations.