Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the formal verification of Rust's standard library in this conference talk that examines how AWS and the Rust Foundation are working to ensure memory safety guarantees extend beyond compile-time checks. Learn about the critical importance of verifying unsafe code blocks that can circumvent Rust's built-in safety features, particularly as the language gains adoption in critical infrastructure and systems programming. Discover the structural framework and rationale behind the Rust Standard Library Verification project, which aims to integrate automated verification directly into the Rust Library release process for continuous safety validation. Examine current progress through successful verification examples and explore the diverse open-source tools being employed in the verification process. Understand how significant technology policies, including the US National Cyber Strategy, are driving the need for formally verified memory-safe software solutions. Gain insights into the project's prioritized areas for 2025 and learn practical ways the Rust community can actively contribute to this essential security initiative that strengthens the foundation of memory-safe systems programming.
