Alternatives and similar repositories for verona-rt:

Users that are interested in verona-rt are comparing it to the libraries listed below

• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆41Updated last month
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 5 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated last week
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆91Updated last month
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆25Updated 3 years ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 2 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆129Updated this week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 10 months ago
• informalsystems / modelator
  Model-based testing tool
  ☆56Updated last month
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆98Updated last week
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆73Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• harp-lab / gdlog
  ☆81Updated 5 months ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆27Updated this week
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 2 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆34Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆36Updated this week
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆14Updated 5 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated 2 months ago
• will62794 / logless-reconfig
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆12Updated 3 months 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
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆43Updated 3 months ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆177Updated this week
• TiarkRompf / reachability
  ☆46Updated last month