linearizability

A test framework for linearizability check with Go

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

A model-based testing framework for .NET that validates implementations against behavioral specifications.

Reading the linearizability paper with TLA+

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

A linearizability checker for concurrent data structures

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

LTest is a framework for verifying the linearizability of C++ data structures.

Coyote-style controlled concurrency testing for the BEAM

Test monadic programs using state machine based models

Jepsen tests for Tarantool

A collection of Rust crates for distributed computing.

Verification tool for lock-free data structures with safe memory reclamation.

Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling

Tools for verifying correctness properties of S2

Linearizability checker written in Rust

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

Pass 4 labs more than 1, 000 times without failure.