Ferrite: A Rust EDSL for Message-passing Protocol Verification | Rust Programming Language | Podwise