Oxidize Conference

Deploying Rust as a first-tier programming language in a production project requires addressing the entire verification and validation model around it. Employing a controlled toolchain and runtime is essential for achieving relevant certifications, but testing and verifying the code is also critical to ensure a successful delivery. In this talk, we will present qualified solutions that address several of these aspects, from exhaustive verification to complete, automated software qualification.

Player unavailable or embedding blocked? Use the YouTube link above.