News for hackers. Stuff that matters.

A comment on Verified Rust for low-level systems code.

Re:Verified Rust for low-level systems code by berkeleynerd on Sunday May 05, 2024 @08:31AM (#40264358)
How does Versus compare to SPARK? Are they of the same general class of verifier? How is Versus different other than a verifier for Rust rather than a verifier for Ada?
[ Parent | on HN ]

There are no comments on this comment yet.