In November, AWS and the Rust Foundation announced challenges to verify 7,500+ unsafe functions in Rust's stdlib with formal methods. Rahul Kumar talks with Tim McNamara about how formal verification could become the foundation for AI-assisted programming. Learn more:
