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

YouTube

Ferrite: A Rust EDSL for Message-passing Protocol Verification

Rust via YouTube

Start learning Write review
Scrimba Ad

Get 20% off all career paths from fullstack to AI

Learn More → Boot.dev Ad

Learn Backend Development Part-Time, Online

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
A presentation of Ferrite, a Rust embedded domain-specific language for verifying message-passing protocols.

Syllabus

Ferrite: A Rust EDSL for Message-passing Protocol Verification

Taught by

Rust

Reviews

Start your review of Ferrite: A Rust EDSL for Message-passing Protocol Verification

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.