Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024) (via amw-zero) — discussion
#databases #formalmethods
