Property-testing async code in Rust to build reliable distributed systems - Antonio Scandurra

Similar Tracks
Build bigger in less time: code testing beyond the basics - Predrag Gruevski | EuroRust 2024
EuroRust
Rust's trait system is a proof engine, let's make it prove us an ABI! - Pierre Avital
RustLab Conference