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

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube