YoVDO

Ferrite: A Rust EDSL for Message-passing Protocol Verification

Offered By: Rust via YouTube

Tags

Rust Courses Formal Verification Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 29-minute conference talk on Ferrite, a Rust embedded domain-specific language (EDSL) designed for verifying message-passing protocols. Join Ruofei Fei Chen (Soares) and Stephanie Balzer as they delve into the intricacies of this powerful tool, discussing its applications in enhancing the reliability and correctness of concurrent systems through formal verification techniques.

Syllabus

Ferrite: A Rust EDSL for Message-passing Protocol Verification


Taught by

Rust

Related Courses

The Rust Programming Language
Udemy Rust for Beginners: Learn Rust in 4 Hours
Udemy Rust For Undergrads
Udemy Take your first steps with Rust
Microsoft via Microsoft Learn Rust Fundamentals
Pluralsight