Practical, High-Performance Verification in Rust

Microsoft Research blog