https://github.com/pingcap/chaos

A test framework for linearizability check with Go

linearizability

Last synced: 21 Aug 2025

https://github.com/stevana/property-based-testing-stateful-systems-tutorial

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

fault-injection haskell linearizability property-based-testing simulation-testing state-machines tutorial

Last synced: 21 Mar 2025

https://github.com/lorin/tla-linearizability

Reading the linearizability paper with TLA+

linearizability tlaplus

Last synced: 28 Jan 2026

https://github.com/ligurio/molly

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

consistency correctness fault-injection jepsen linearizability lua serializable

Last synced: 11 Jul 2025

https://github.com/tarantool/jepsen.tarantool

Jepsen tests for Tarantool

consistency fault-injection jepsen jepsen-tests linearizability serializable tarantool

Last synced: 14 Apr 2025

https://github.com/resonatehq/durable-promise-test-harness

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

concurrency correctness distributed-systems golang linearizability load-testing performance-analysis pseudo-random

Last synced: 01 Aug 2025

https://github.com/s2-streamstore/s2-verification

Tools for verifying linearizability of S2

distributed-systems linearizability rust s2

Last synced: 02 Apr 2026

https://github.com/stevana/deterministic-scheduler

Parallel property-based testing with a deterministic thread scheduler

linearizability testing

Last synced: 02 Apr 2025

https://github.com/b-erdem/lockstep

Coyote-style controlled concurrency testing for the BEAM

beam concurrency concurrency-testing coyote elixir erlang linearizability pct race-condition testing

Last synced: 31 May 2026

https://github.com/kysely/atomicloop

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

atomic atomic-loop atomicity delayed graceful-shutdown iteration linearizability machine-learning python reinforcement-learning sigint sigterm

Last synced: 17 May 2026

https://github.com/time-appliances-project/precise-time-api

distributed-systems linearizability synchronization

Last synced: 20 Jan 2026

https://github.com/hinanohart/tracelin

Conformance & race linter for recorded multi-agent agent traces (linearizability + happens-before + MAST failure-mode IDs under the hood)

happens-before linearizability linter llm-agents multi-agent observability opentelemetry race-condition trace-analysis

Last synced: 15 Jun 2026