Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
☆13Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- ☆12Sep 10, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 4 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- Auto formalization of the CLRS text book☆40Oct 22, 2026Updated last week
- An automated deductive program verifier based on concurrent separation logic☆35Updated this week
- ☆37Mar 12, 2025Updated last year
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A memory allocator verified with Verus☆41Updated this week
- TLA embedding in Verus☆33Updated this week
- ☆24Oct 6, 2026Updated 3 weeks ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- NAT implementation using DPDK☆15May 22, 2019Updated 7 years ago
- ☆22Jan 31, 2026Updated 8 months ago
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- AWS Encryption SDK☆68Updated this week
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Tool to symbolically execute eBPF programs☆19Mar 5, 2024Updated 2 years ago
- Deductive verification infrastructure for probabilistic programs☆30Oct 19, 2026Updated last week
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆117Sep 19, 2026Updated last month
- A curated reading list for machine learning reliability research and practice☆32Sep 18, 2025Updated last year
- a proof-of-concept programming language based on call-by-push-value☆71Updated this week
- DPDK-based UDP echo server☆13Mar 27, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.☆17Jan 28, 2026Updated 9 months ago
- ☆107Jul 31, 2026Updated 2 months ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- Avoiding merge conflicts by making invalid collaboration states unrepresentable.☆25May 18, 2026Updated 5 months ago
- BLEST: Blazingly Efficient BFS using Tensor Cores☆11Sep 6, 2026Updated last month
- Linearizability Hoare Logic☆18Sep 16, 2026Updated last month
- assembly-level instruction-set semantics in Lean☆62Updated this week