Jepsen is completely relevant to this kind of system, because it doesn&#x27;t care what words you use to describe your algorithm -- just the patterns of communication it exhibits, and the consistency properties it satisfies. (What Jepsen <i>isn&#x27;t</i> useful for is databases that don&#x27;t even <i>try</i> to be consistent -- for example, Cassandra in its default modes. All Jepsen can do for you in that case is confirm what you should have been able to tell from the documentation.)<p>And arguably, active&#x2F;standby with automatic failover is just a special case of active&#x2F;active, with particar tradeoffs about throughput and failover latency.