Jepsen's core approach is to run a set of concurrent clients against a database cluster while using a fault injector (nemesis) to artificially create anomalies such as network partitions, node crashes, clock skew, and process pauses, then record the history of all operations and use a consistency checker to verify whether that history satisfies the consistency model the system claims.