Post

🦀 What if you could prove your code is correct instead of just testing it? At #RustLab2026, William Takeshi Pereira shows how formal verification can be applied to a real-world IoT protocol, bringing stronger guarantees to production systems with zero runtime cost. Not tested. Proved.