Capability-based verifier for safe Rust clients of interior mutability
☆15Jul 18, 2024Updated last year
Alternatives and similar repositories for mendel-verifier
Users that are interested in mendel-verifier are comparing it to the libraries listed below
Sorting:
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 3 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- RustHorn: A CHC-based automated verifier for Rust☆90Mar 14, 2025Updated 11 months ago
- ☆79Jan 22, 2026Updated last month
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- ☆16Jan 31, 2026Updated last month
- ☆22Updated this week
- 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
- Storage systems with verified correctness properties☆61Feb 24, 2026Updated last week
- A memory allocator verified with Verus☆30Feb 18, 2026Updated 2 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆37Updated this week
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Updated this week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Feb 25, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆155Feb 24, 2026Updated last week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated last month
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago
- UB-free and deterministic rustc fuzzer☆98Dec 21, 2025Updated 2 months ago
- CS6868: Concurrent Programming☆32Feb 26, 2026Updated last week
- ☆12Oct 17, 2025Updated 4 months ago
- ☆10Jul 22, 2024Updated last year
- Platform for creating audio-first AI assistants that can work offline using a flexible plugin architecture☆13Jun 29, 2025Updated 8 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆60Dec 10, 2025Updated 2 months ago
- ☆13Apr 28, 2025Updated 10 months ago
- ☆48Jun 30, 2025Updated 8 months ago
- 【转载】BitTorrent下载器 - 《Linux C编程实战》书后示例☆12Mar 24, 2020Updated 5 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 3 years ago
- ☆16Jan 23, 2026Updated last month
- experiment☆12Jan 1, 2023Updated 3 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- A seeders only swarm☆18Feb 7, 2024Updated 2 years ago
- Verifying the Rust standard library☆325Updated this week
- A simple HTTP server for Raspberry Pi Pico W☆10Dec 17, 2022Updated 3 years ago
- RedisGraph Julia client☆12Oct 29, 2025Updated 4 months ago