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.

No description provided.

Jepsen tests for Tarantool

Test monadic programs using state machine based models

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

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

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.

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

Tools for verifying linearizability of S2

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

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

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

Parallel property-based testing with a deterministic thread scheduler

Jepsen tests for Restate

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

Concurrent priority queue in Harmony with atomic specification, lock-based implementation, and black-box differential testing.

An implementation of ISIS total order multicast protocol

linearizability checker for distributed systems

Create atomic loop iterations (let the current iteration finish even when interrupted)

No description provided.

A geo-replicated key-value store system