utaal / verified-nrkernel
☆18Updated this week
Alternatives and similar repositories for verified-nrkernel:
Users that are interested in verified-nrkernel are comparing it to the libraries listed below
- Course website for Systems Verification Fall 2024☆11Updated this week
- RustHorn: A CHC-based automated verifier for Rust☆76Updated last month
- A memory allocator verified with Verus☆16Updated 3 weeks ago
- RedLeaf Operating System☆123Updated 2 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated last month
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated 2 months ago
- ☆120Updated 2 months ago
- An operation-log based approach for data replication.☆62Updated last year
- Interface with the rustc compiler for the purpose of program verification☆129Updated last week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆10Updated this week
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated this week
- ☆31Updated 3 years ago
- A verified library of synchronization primitives and concurrent data structures☆32Updated last week
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- An experimental optimizing compiler for Bril☆65Updated last week
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- Verification and optimization tool for concurrent code☆24Updated this week
- ☆26Updated last week
- Symbolic execution tool for Sail ISA specifications☆66Updated 3 weeks ago
- A Rust library for safely programming persistent memory☆74Updated 10 months ago
- UB-free and deterministic rustc fuzzer☆76Updated 3 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆19Updated last week
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 11 months ago
- Define compiler intermediate representation usable by external tools☆73Updated 9 months ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆27Updated this week
- Rewrite Rule Inference Using Equality Saturation☆121Updated 10 months ago
- Experimental kernel with built-in replication.☆157Updated last year
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 2 months ago