this post was submitted on 15 Jun 2023
1 points (100.0% liked)

Rust Programming

8097 readers
1 users here now

founded 5 years ago
MODERATORS
nutomic@lemmy.ml
Joe@lemmy.ml
AgreeableLandscape@lemmy.ml
1
Verified Rust for low-level systems code (github.com)
submitted 1 year ago by tomtau@aussie.zone to c/rust@lemmy.ml
0 comments fedilink hide all child comments
 

Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here