Alternatives and similar repositories for ferrite:

Users that are interested in ferrite are comparing it to the libraries listed below

• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• yoavz1997 / Efficient-Lock-Free-Durable-Sets
  Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…
  ☆19Updated 5 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• sihangliu / pmtest
  ☆26Updated 5 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆79Updated last year
• snalli / nstore
  NVM Database from Carnegie-Mellon U
  ☆24Updated 4 years ago
• uw-unsat / serval
  ☆47Updated 2 years ago
• sanjosh / tlaplus
  TLA+ programs
  ☆9Updated 7 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 9 months ago
• stanford-mast / shinjuku
  ☆46Updated last year
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• evanj / tpccbench
  In memory TPC-C implementation. Used for a number of database research projects.
  ☆38Updated 4 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆18Updated 4 months ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆29Updated 5 years ago
• NYU-NEWS / janus
  ☆49Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆19Updated 4 months ago
• columbia / crane
  Transparent Paxos
  ☆44Updated 5 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• basicthinker / ThyNVM
  ThyNVM: Transparent hybrid NonVolatile Memory (NOTE: This repo is not working yet. Please refer to the old version: https://github.com/ba…
  ☆29Updated 7 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated 3 months ago
• pramalhe / RedoDB
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆40Updated 3 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 5 years ago
• coq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• P4xos / P4xos
  ☆11Updated 7 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆24Updated 6 months ago