3 ms·
Formal verification predates Rust by decades. The addition of lifetimes and the borrow checker are worthwhile contributions to the field of provably-safe softwa
by _vdpp 4y ago
Formal verification predates Rust by decades. The addition of lifetimes and the borrow checker are worthwhile contributions to the field of provably-safe software, but there are a lot of other soundness properties that Rust doesn’t check (though people are working on it).
- muglug 4y agoI meant to say "this hopes to build on the success of Rust" — Rust is explicitly called out in the readme.