Alternatives and similar repositories for public:

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

• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆121Updated 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
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆12Updated 9 months 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
• tchajed / coq-tla
  ☆26Updated last year
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 5 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆18Updated 8 years ago
• dslab-epfl / pix
  Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
  ☆16Updated 2 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated 10 months ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• kaist-cp / memento
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆16Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated last week
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆62Updated 2 years ago
• yhuacode / pmrace
  Efficiently Detecting Concurrency Bugs in Persistent Memory Programs (ASPLOS 2022)
  ☆8Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 4 months ago
• 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
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆92Updated this week
• sihangliu / pmtest
  ☆27Updated 5 years ago
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 9 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated this week
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated last month
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆197Updated 11 months ago
• stanford-mast / shinjuku
  ☆47Updated 2 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 3 weeks ago