ConferencesadvancedFree

Rust Verification Workshop

Annual workshop on formally verifying Rust programs — talks, tool demos, and materials from the verification community.

Related resources