One very good resource are the writings of Aphyr where he tests various distributed databases: https://aphyr.com/tags/jepsen https://aphyr.com/tags/jepsen . Jep

One very good resource are the writings of Aphyr where he tests various distributed databases: https://aphyr.com/tags/jepsen https://aphyr.com/tags/jepsen . Jepsen is the framework he wrote to test them. Next would be formal verification but you get very far by understanding the distributed db semantics and applying practical tests.