linearizability topic

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

ligurio

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

rystsov

Develop an end-to-end hypothetical reference model, network architectures, performance objectives and the methods to distribute, operate, monitor time synchronization within data center and much more....

opencomputeproject

A test framework for linearizability check with Go

pingcap

A tutorial about how to apply property-based testing to stateful systems.

stevana

Reading the linearizability paper with TLA+

lorin