Practical, High-Performance Verification in Rust

微软研究院博客

Outlined illustrations of Chris Hawblitzel and Jay Lorch for the Microsoft Research Podcast, Abstracts series.
微软研究院播客

| Amber Tingle, Chris Hawblitzel, 和 Jay Lorch

Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at SOSP ’24.