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

YouTube

Creusot: A Prototype Tool for Verification of Rust Software

Rust via YouTube

Start learning Write review
Scrimba Ad

Free courses from frontend to fullstack and AI

Learn More → Corporate Finance Institute Ad

Build the Finance Skills That Lead to Promotions, Not Just Certificates

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This course introduces Creusot, a prototype tool for verifying Rust software. It discusses how Rust is translated for verification and covers the program logic, specifications, and logic functions used in that process.

Syllabus

Intro
Verifying Rust
Verification in Creusot
Translating Rust
A program logic for Rust
Prophetic Values
Example
State of specifications
Notes on Logic Functions
All Zero
Ongoing / Future Work

Taught by

Rust

Reviews

Start your review of Creusot: A Prototype Tool for Verification of Rust Software

Start learning

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.