News for hackers. Stuff that matters.

A comment on Linux Rust Support. Parent comment

Re:Linux Rust Support by Y_Y on Tuesday July 06, 2021 @08:56AM (#27747872)
> TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
[ Parent | on HN ]
Re:Linux Rust Support by kaba0 on Tuesday July 06, 2021 @09:10AM (#27748024)
But it only proves a model, not the actual code — that’s a major distinction.
[ Parent | on HN ]