This edition
From RFC to Proof: formally verifying a real-world IoT Protocol in Rust
November 03 2026 - 11:30 (45 min )
Not tested, Proved. You’ll see what formal verification looks like in practice, what it actually guarantees, and why it’s worth the effort. If you’re interested in writing safer code or just want to understand where bugs hide in protocol implementations, this session will give you a clear, practical overview.
We will use a real work with real use as an example, how can we add formal verification on the CI and have more guarantees of safety without any runtime penalty.
LEVEL: Intermediate
