Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn to identify and resolve runtime errors in hybrid C++ and Rust codebases through formal verification techniques in this 49-minute conference talk from C++Now 2025. Explore the growing challenges of interoperability between C++ and Rust as large-scale C++ projects increasingly integrate Rust components, which introduces risks like undefined behavior in C++ and runtime panics in Rust through the C ABI. Discover how formal verification methods can be adapted for mixed-language environments to detect runtime errors both within individual language segments and across the language boundary. Examine coded examples demonstrating how formal methods can pinpoint these errors with zero false negatives and minimal false positives. Understand the limitations of current formal verification tools that typically support only specific programming languages like Ada, C, or C++, and learn about the evolution needed in verification tools to ensure safe, predictable interactions between Rust and C++ libraries as Rust adoption continues to grow alongside existing C++ codebases.
