utaal / verified-nrkernel
☆13Updated this week
Alternatives and similar repositories for verified-nrkernel:
Users that are interested in verified-nrkernel are comparing it to the libraries listed below
- A memory allocator verified with Verus☆15Updated 3 weeks ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 2 weeks ago
- Course website for Systems Verification Fall 2024☆11Updated last week
- RustHorn: A CHC-based automated verifier for Rust☆75Updated 2 weeks ago
- ☆31Updated 2 years ago
- RedLeaf Operating System☆122Updated 2 years ago
- ☆26Updated last year
- ☆22Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆96Updated this week
- Interface with the rustc compiler for the purpose of program verification☆121Updated last week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last month
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆19Updated last week
- An automated deductive program verifier based on concurrent separation logic☆14Updated 2 weeks ago
- ☆114Updated last month
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆9Updated 3 weeks ago
- Definition of the Viper intermediate verification language.☆83Updated last week
- ☆47Updated 4 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆14Updated 5 months ago
- ☆47Updated 2 years ago
- A formally verified security module for AMD confidential VMs☆40Updated 4 months ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- rmem public repo☆41Updated last week
- Verification and optimization tool for concurrent code☆23Updated 2 weeks ago
- ☆53Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- A verified library of synchronization primitives and concurrent data structures☆31Updated last week
- An ICE-based predicate synthesizer for Horn clauses.☆49Updated 11 months ago
- Symbolic execution tool for Sail ISA specifications☆66Updated this week
- Verifying concurrent code with layers and movers☆12Updated 5 years ago