Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
