linearizability

A test framework for linearizability check with Go

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

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.

Test monadic programs using state machine based models

Jepsen tests for Tarantool

A collection of Rust crates for distributed computing.

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

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

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

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

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

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

Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021

Jepsen tests for Restate

Parallel property-based testing with a deterministic thread scheduler