Exploring Formal Verification in Rust

Eduardo Sandalo Porto

RustSP Meetup, São Paulo, Brazil · 8 Aug 2026