ended3일 전· 1 sources
Verus proves Rust correct for all inputs. Code review still can't define "correct."
Why it matters
Amazon shipped a blog post on Verus, their Rust verifier used in Firecracker and AWS Lambda. Verus doesn't review your code. It proves it: annotated functions get checked against a mathematical spec f...
1
Sources
+0
24h
—
Growth
3d
Active