Comment by snvzz

16 hours ago

Rust, an immature language with fluidly evolving specification / reference implementation, is not suitable for high assurance nor formal verification.

3 comments

snvzz

Reply
steveklabnik  13 hours ago

… except that Rust’s compiler has been qualified for several safety critical standards, with more to come, and has several formal verification tools as well. Amazon even has placed bounties (and paid some) for proving things about the standard library.

Rust is not as immature or evolving in the ways you imply.