Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/
Verify the Safety of the Rust Standard Library 
Amazon Web Services
Verify the Safety of the Rust Standard Library | Amazon Web Services
Rust is one of the fastest growing languages around the world. The Rust community has grown into millions of developers, with more products and ser...