Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Prusti - Deductive Verification for Rust

Rust via YouTube

Overview

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.

Syllabus

Prusti – Deductive Verification for Rust

Taught by

Rust

Reviews

Start your review of Prusti - Deductive Verification for Rust

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.