This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
Tools for verifying linearizability of S2
CROWN: High-Performance Write-Optimized Chain Replication. CROWN is a next-generation replication engine designed to provide strong consistency and linearizability while significantly outperforming traditional chain-based systems.
LTest is a framework for verifying the linearizability of C++ data structures.
Concurrent priority queue in Harmony with atomic specification, lock-based implementation, and black-box differential testing.
Framework for distributed system's verification, with fault injection.
A collection of Rust crates for distributed computing.
Parallel property-based testing with a deterministic thread scheduler
linearizability checker for distributed systems
A linearizability checker for concurrent data structures
Jepsen tests for Tarantool
An implementation of ISIS total order multicast protocol
A tutorial about how to apply property-based testing to stateful systems.
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
Verification tool for lock-free data structures with safe memory reclamation.
Add a description, image, and links to the linearizability topic page so that developers can more easily learn about it.
To associate your repository with the linearizability topic, visit your repo's landing page and select "manage topics."