Alternatives and similar repositories for anvil

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

• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 3 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆197Updated this week
• uw-unsat / yggdrasil
  ☆32Updated 3 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 4 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated 3 weeks ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆134Updated this week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆191Updated last month
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆80Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• microsoft / verus-proof-synthesis
  ☆43Updated this week
• scuptio / sedeve-kit
  In Spec We Trust
  ☆36Updated last month
• matthias-brun / verified-nrkernel
  ☆20Updated 2 weeks ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆80Updated last week
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆17Updated last week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 11 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆55Updated this week
• xlab-uiuc / acto
  Push-Button End-to-End Testing of Kubernetes Operators and Controllers
  ☆126Updated this week
• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆22Updated last week
• mars-research / redleaf
  RedLeaf Operating System
  ☆129Updated 3 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆38Updated 4 years ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆134Updated this week
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆54Updated last month
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆476Updated last week
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated 2 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆38Updated 9 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated 2 weeks ago