Forwarding you to

FaunaDB Blog | Verifying Transactional Consistency with Jepsen and Fauna

FaunaDB is a mission critical NoSQL database. Most database technologies sound like a joke version of the "good, fast, or cheap" mantra: usable, scalable, or correct, choose two, but more often just choose one, and sometimes you get zero. Instead, FaunaDB endeavors to be all three at once. Today we will talk about becoming correct.