Industrial-grade Rust Verification RustChina Conf

RustGlobal China & RustChinaConf 2025: Hangzhou

Rust has made programming more robust, but no language is perfect. Rust's design decisions still lead to situations needing extra control and verification, especially in mission-critical systems. This talk details these challenges and introduces open-source and professional tools for runtime error detection and quality coverage.

Talk by Rolland Dudemaine, Director, Solutions Engineering