RefinedRust: High-Assurance Verification of Rust Programs [video](youtube.com)
6 points by matt_d a day ago | discuss