Get the latest tech news
Verus is a tool for verifying the correctness of code written in Rust
. The main goal is to verify full functional correctness of low-level systems code, building on ideas from existing verification frameworks like Dafny, Boogie, F*, VCC, Prusti, Creusot, Aeneas, Cogent, Rocq, and Isabelle/HOL.
None
Or read this on Hacker News
