jepsen topic

command-line frontend to transactional consistency checkers for black-box databases

ligurio

Framework for distributed system's verification, with fault injection.

ligurio

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

rystsov

Curated list of resources on testing distributed systems

asatarin

A workbench for writing toy implementations of distributed systems.

jepsen-io