lincheck

A linearizability checker for concurrent data structures (by SmnTin)
Review linearizability lock-free model-checking Testing Verification
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Lincheck Alternatives

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

SmnTin
lincheck

  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

    5 lincheck VS left-right

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

  4. kani

    54 lincheck VS kani

    Kani Rust Verifier

  5. cargo-check-deadlock

    3 lincheck VS cargo-check-deadlock

    Find deadlocks in Rust code with Petri net model checking

  6. crossbeam

    45 lincheck VS 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.
Suggest an alternative to lincheck

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.

Popular Comparisons

  1. lincheck VS rmc
  2. lincheck VS left-right
  3. lincheck VS kani
  4. lincheck VS cargo-check-deadlock
  5. lincheck VS crossbeam
  6. lincheck VS sled

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?

Loading...