Awesome Open Source

Programming Languages

Search results for linearizability

linearizability x

8 search results found

A test framework for linearizability check with Go

Property Based Testing Stateful Systems Tutorial ⭐ 48

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

Tla Linearizability ⭐ 27

Reading the linearizability paper with TLA+

Fast Jepsen ⭐ 18

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

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

A linearizability checker for concurrent data structures

Jepsen.tarantool ⭐ 5

Jepsen tests for Tarantool

Quickcheck State Machine Distributed ⭐ 5

Test monadic programs using state machine based models

Related Searches

Fault Injection Linearizability (3)

Haskell Linearizability (3)

State Machine Linearizability (3)

Jepsen Linearizability (3)

Testing Linearizability (3)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.