Alternatives and similar repositories for anvil:

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

• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆197Updated 11 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆117Updated this week
• utaal / verified-nrkernel
  ☆18Updated last week
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆177Updated this week
• xlab-uiuc / acto
  Push-Button End-to-End Testing of Kubernetes Operators and Controllers
  ☆127Updated 2 weeks ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆57Updated 2 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 10 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated last month
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• 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…
  ☆27Updated this week
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 2 years ago
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆79Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆35Updated 3 weeks ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 3 months ago
• SESA / SEUSS
  Serverless Execution with SnapShots
  ☆16Updated 2 years ago
• 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 month
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆134Updated this week
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆35Updated 7 months ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆125Updated last week
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆11Updated 2 months ago