matthias-brun / verified-nrkernelLinks
☆20Updated this week
Alternatives and similar repositories for verified-nrkernel
Users that are interested in verified-nrkernel are comparing it to the libraries listed below
Sorting:
- A memory allocator verified with Verus☆23Updated 3 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆28Updated this week
- RustHorn: A CHC-based automated verifier for Rust