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.