Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
☆11Feb 7, 2025Updated last year
Alternatives and similar repositories for verification-class
Users that are interested in verification-class are comparing it to the libraries listed below
Sorting:
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- ☆11Sep 10, 2021Updated 4 years ago
- ☆36Mar 12, 2025Updated 11 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- ☆16Jan 31, 2026Updated last month
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Jul 14, 2022Updated 3 years ago
- ☆72Sep 4, 2025Updated 5 months ago
- An automated deductive program verifier based on concurrent separation logic☆28Feb 14, 2026Updated 2 weeks ago
- The Pulse separation logic DSL for F*☆34Updated this week
- AWS Encryption SDK☆59Feb 19, 2026Updated last week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆104Feb 16, 2026Updated last week
- A memory allocator verified with Verus☆30Feb 18, 2026Updated last week
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Collection of course syllabus and websites (mainly EECS) @ Umich☆30Jul 19, 2022Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆73Sep 5, 2025Updated 5 months ago
- CS6868: Concurrent Programming☆32Updated this week
- ☆10May 30, 2017Updated 8 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- My multi-system flake configuration☆12Updated this week
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months ago
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- My neovim setting written by 100% lua 🧪☆10Oct 26, 2025Updated 4 months ago
- Asynchronous client library for interacting with the Beanstalkd work queue.☆16Feb 1, 2024Updated 2 years ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- VSCode Plugin for Gobra☆11Updated this week
- Mechanized baselines for various type system features☆18Feb 20, 2026Updated last week
- My personal dotfiles for my linux desktop☆10Feb 18, 2026Updated last week
- LaTeX sleek beamer template☆10Oct 16, 2023Updated 2 years ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- Various and sundry shell scripts used on my system☆21Updated this week
- ☆12Jan 9, 2026Updated last month
- ☆13Apr 28, 2025Updated 10 months ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- An example of elixir erlport server with python opencv, just a demo, no thumbnail functionalities.☆12Jun 28, 2017Updated 8 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated 2 weeks ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago