lincheck

A linearizability checker for concurrent data structures (by SmnTin)

Lincheck Alternatives

Similar projects and alternatives to lincheck based on common topics and language

  1. rmc

    1 lincheck VS rmc

    Discontinued Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  3. left-right

    A lock-free, read-optimized, concurrency primitive.

  4. kani

    54 lincheck VS kani

    Kani Rust Verifier

  5. cargo-check-deadlock

    Find deadlocks in Rust code with Petri net model checking

  6. crossbeam

    Tools for concurrent programming in Rust

  7. sled

    41 lincheck VS sled

    the champagne of beta embedded databases

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lincheck alternative or higher similarity.

lincheck discussion

Log in or Post with

lincheck reviews and mentions

Posts with mentions or reviews of lincheck. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic lincheck repo stats
1
12
7.1
almost 3 years ago

SmnTin/lincheck is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of lincheck is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you know that Rust is
the 3rd most popular programming language
based on number of references?