RefinedRust: High-Assurance Verification of Rust Programs [video]

6 points | by matt_d a day ago