Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a comprehensive talk on Prusti, a deductive verification tool for Rust, presented by Alex Summers. Delve into the intricacies of this powerful tool designed to enhance the reliability and correctness of Rust programs through formal verification techniques. Gain insights into how Prusti leverages Rust's ownership system to provide strong correctness guarantees and learn about its potential applications in developing robust and error-free software. Discover the benefits and challenges of integrating deductive verification into the Rust ecosystem and understand how this approach can complement Rust's existing safety features.
