Rust Programming

8144 readers

81 users here now

founded 5 years ago

MODERATORS

[email protected]

Verified Rust for low-level systems code (github.com)

submitted 1 year ago by [email protected] to c/[email protected]

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